From bfca48233a2ffa5a3efe89d6ec414503ba11ccc9 Mon Sep 17 00:00:00 2001
From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Wed, 16 Jan 2008 15:48:58 +0000
Subject: [PATCH] update-lib: handle absence of fileList.txt gracefully

---
 src/common/update-lib.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/common/update-lib.sh b/src/common/update-lib.sh
index 126e6d17..cdaee1b4 100644
--- a/src/common/update-lib.sh
+++ b/src/common/update-lib.sh
@@ -24,7 +24,7 @@ pre_install () {
 		echo "No file list specified for pre_install"
 		exit 1
 	}
-	test -s "$FILELIST" &&
+	! test -s "$FILELIST" ||
 		cat "$FILELIST" | (cd / && xargs git --ignore-unmatch rm) ||
 		exit
 }
-- 
2.11.4.GIT