diff --git a/assets/script/shell/check_rev.sh b/assets/script/shell/check_rev.sh deleted file mode 100644 index 72698d1..0000000 --- a/assets/script/shell/check_rev.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/zsh -REV_OLD=`cat git_rev.txt` -git rev-list --all HEAD --all --count > git_rev.txt -REV_NEW=`cat git_rev.txt` - -echo "$REV_OLD" -echo "$REV_NEW" - -RESULT=FALSE -if [ ${REV_OLD} -ne ${REV_NEW} ] ; then - RESULT=TRUE -fi - -echo $RESULT > result.txt \ No newline at end of file