From 078028058d2e9fbcde2147eb4154830e08652066 Mon Sep 17 00:00:00 2001
From: Ben Longbons <b.r.longbons@gmail.com>
Date: Tue, 18 Nov 2014 14:53:52 -0800
Subject: Fix nightly builds
---
tools/nightly | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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
--
cgit v1.2.3-70-g09d2