불필요 파일 삭제
This commit is contained in:
parent
0c81830e1a
commit
c36a9faf46
1 changed files with 0 additions and 14 deletions
|
|
@ -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
|
||||
Loading…
Reference in a new issue