From 4c7eca14b5c8262a352ecf9dd93579bea4227952 Mon Sep 17 00:00:00 2001 From: Marc Olzheim Date: Wed, 16 Jun 2004 18:54:36 +0000 Subject: [PATCH] Remove spurious "Clean sandbox"... --- src/scripts/nightly/nightlybuild.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/src/scripts/nightly/nightlybuild.sh b/src/scripts/nightly/nightlybuild.sh index 37da3124..cd06fd90 100755 --- a/src/scripts/nightly/nightlybuild.sh +++ b/src/scripts/nightly/nightlybuild.sh @@ -272,7 +272,6 @@ EOF echo "" done - Clean sandbox echo "Cleaning sandbox" cd "${BOXDIR}" || err "Could not cd back to sanbox root !" rm -r "${WORKDIR}" || warn "Directory ${WORKDIR} could not be cleanly removed !"