diff --git a/util/branchsync.sh b/util/branchsync.sh index c5a850d4d5..e96a197ef3 100644 --- a/util/branchsync.sh +++ b/util/branchsync.sh @@ -40,7 +40,7 @@ restore_files () { git checkout HEAD -- doc/arm/*.html doc/arm/Bv9ARM.pdf git checkout HEAD -- bin/*/*.html bin/*/*.[0-9] # don't update the EXCLUDED file - if [ -n `git ls-files EXCLUDED` ]; then + if [ -f EXCLUDED ]; then git checkout HEAD -- EXCLUDED fi }