just use test -f

diff --git a/util/branchsync.sh b/util/branchsync.sh
index c5a850d4d52accd88ef2a4915846630731c2d62d..e96a197ef32c46982ab05209c30fec3767c68f71 100644 (file)
--- 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
 }