summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/nightly2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/nightly b/tools/nightly
index 16a52eb..1f7ecc7 100755
--- a/tools/nightly
+++ b/tools/nightly
@@ -120,7 +120,7 @@ do
mkdir -p build-$HOST
cd build-$HOST
../configure --build=$BUILD --host=$HOST CXX="$CXX -Wno-deprecated-declarations -DQUIET" --prefix=/. --enable-rpath=relative GDB=$GDB
- rm -rf bin lib
+ rm -rf bin lib stamp
make -j3 all
make -j3 test
if $first