From ae1dee4885781ce237c53d97914cb86f7408ffe9 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