From 51c7757543f639b2a7653c640ad59823ae4d7244 Mon Sep 17 00:00:00 2001
From: Alfred Xing <alfredxing@users.noreply.github.com>
Date: Tue, 15 Jul 2014 17:02:11 -0700
Subject: [PATCH] Uncomment the exit

---
 script/proof | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/proof b/script/proof
index 47caa86b..a6b2c634 100755
--- a/script/proof
+++ b/script/proof
@@ -3,7 +3,7 @@
 # Check if any site files have changed
 if [[ $(git diff --name-only origin $(git log --pretty=format:"%h" -2 | tail -1) | grep '^/site') == "" ]]; then
 	echo "No site files changed"
-	# exit 0
+	exit 0
 fi
 
 # Site files have been changed, continue