From cdcff0c9f116350da49bb64bb2d33646e2fea43c Mon Sep 17 00:00:00 2001
From: Wilfried Goesgens <willi@arangodb.com>
Date: Thu, 6 Apr 2017 15:32:23 +0200
Subject: [PATCH] fix detection of partial cmake configure

---
 Installation/Jenkins/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Installation/Jenkins/build.sh b/Installation/Jenkins/build.sh
index a95e15b5a9..d3859d5c44 100755
--- a/Installation/Jenkins/build.sh
+++ b/Installation/Jenkins/build.sh
@@ -584,7 +584,7 @@ set +e
 if test "${isCygwin}" == 0; then
     test ! -f Makefile -o ! -f CMakeCache.txt
 else
-    test ! -f ALL_BUILD.vcxproj ! -f CMakeCache.txt
+    test ! -f ALL_BUILD.vcxproj -o ! -f CMakeCache.txt
 fi
 PARTIAL_STATE=$?
 set -e