Fixing the release script.

timvideos · Aug 3, 2016 · a454869 · a454869
1 parent 32ddf71
commit a454869
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/left-angle/release.sh b/left-angle/release.sh
@@ -3,7 +3,9 @@
 set -x
 set -e
 
-if [ $(git diff --shortstat 2> /dev/null | tail -n1) != "" ]; then
+if git diff-index --quiet HEAD --; then
+	echo "Clean repo, good!"
+else
 	echo "Dirty repo, commit before running."
 	exit 1
 fi