summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore3
-rwxr-xr-xtools/nightly2
2 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index e7b23ee..77f1b19 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,6 @@
/Makefile
/config.status
/lib
+# nightlies
+/build-x86_64-linux-gnu/
+/build-i586-linux-gnu/
diff --git a/tools/nightly b/tools/nightly
index 7e72605..e20cdd5 100755
--- a/tools/nightly
+++ b/tools/nightly
@@ -48,12 +48,14 @@ config64() {
first=true
+set -x
for config in ${ALL_CONFIGS[@]}
do
$config
mkdir -p build-$HOST
cd build-$HOST
../configure --host=$HOST CXX="$CXX -Wno-deprecated-declarations" --prefix=/. --enable-rpath=relative
+ rm -rf bin lib
make -j3 all
make -j3 test
if $first