1 files changed, 34 insertions, 0 deletions
diff --git a/tests/build-tests.sh b/tests/build-tests.sh
new file mode 100755
index 0000000000000..0bbd3698a3571
--- /dev/null
+++ b/tests/build-tests.sh
@@ -0,0 +1,34 @@
+#! /bin/sh
+
+set -e
+
+if test -z "$make"; then
+  make=make
+fi
+
+hostname=`hostname`
+
+for opts in \
+  "" \
+  "--enable-debug" \
+  "--disable-wchar" \
+  "--disable-multibyte" \
+  "--without-alloca" \
+  "--disable-wchar --without-alloca" \
+  "--disable-approx" \
+  "--disable-agrep" \
+  "--enable-system-abi" \
+  "--disable-largefile" \
+  "--disable-nls" \
+  "--disable-warnings"; do
+
+  rm -rf tmp-build
+  mkdir tmp-build
+  cd tmp-build
+
+  echo "$hostname: Configure options \"$opts\"..." >&2
+  ../configure $opts > build-log.txt 2>&1
+  $make >> build-log.txt 2>&1
+  $make check >> build-log.txt 2>&1
+  cd ..
+done