From d8140f4142a363d1b66ea8731a3489d1dea41ad4 Mon Sep 17 00:00:00 2001 From: Alfred Xing Date: Wed, 16 Jul 2014 11:03:26 -0700 Subject: [PATCH] Fix up `grep` pattern Change from `^/site` to `^site/` --- script/proof | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/proof b/script/proof index 767e8328..53157231 100755 --- a/script/proof +++ b/script/proof @@ -3,7 +3,7 @@ # Usage: # script/proof -git diff --name-only origin $(git log --pretty=format:"%h" -2 | tail -1) | grep '^/site' || { +git diff --name-only origin $(git log --pretty=format:"%h" -2 | tail -1) | grep '^site/' || { echo "No site files changed. We'll skip proofing." exit 0 }