From c7d9d4fcf496b6082ce54af19dc119c84dad4ca1 Mon Sep 17 00:00:00 2001
From: Markus Armbruster <armbru@pond.sub.org>
Date: Sat, 15 Jan 2011 13:47:16 +0100
Subject: [PATCH] Fix nightly's check for existing sandbox

Broken in commit 70c03561, v4.3.12.
---
 src/scripts/nightly/nightlybuild.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/scripts/nightly/nightlybuild.sh b/src/scripts/nightly/nightlybuild.sh
index a0a5a9c3..b51d1a27 100755
--- a/src/scripts/nightly/nightlybuild.sh
+++ b/src/scripts/nightly/nightlybuild.sh
@@ -95,7 +95,7 @@ in
 # Make sandbox
 if [ -d "${WORKDIR}" ]
 then
-	! [ -d "${WORKDIR}"/empserver/.git ]  || err "Invalid sandbox, missing .git directory"
+	[ -d "${WORKDIR}"/empserver/.git ] || err "Invalid sandbox, missing .git directory"
 else
 	echo making directory
 	mkdir "${WORKDIR}" || warn "Could not create ${BOXDIR}/${WORKDIR}"