Remove spurious "Clean sandbox"...

diff --git a/src/scripts/nightly/nightlybuild.sh b/src/scripts/nightly/nightlybuild.sh
index 37da31247fe564d41d10f1340de7688a032b8ab2..cd06fd903a8cf630647f491d00c3f83a76b1796b 100755 (executable)
--- 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 !"