1#! /bin/sh
2
3set -e
4
5if test -z "$make"; then
6  make=make
7fi
8
9hostname=`hostname`
10
11for opts in \
12  "" \
13  "--enable-debug" \
14  "--disable-wchar" \
15  "--disable-multibyte" \
16  "--without-alloca" \
17  "--disable-wchar --without-alloca" \
18  "--disable-approx" \
19  "--disable-agrep" \
20  "--enable-system-abi" \
21  "--disable-largefile" \
22  "--disable-nls" \
23  "--disable-warnings"; do
24
25  rm -rf tmp-build
26  mkdir tmp-build
27  cd tmp-build
28
29  echo "$hostname: Configure options \"$opts\"..." >&2
30  ../configure $opts > build-log.txt 2>&1
31  $make >> build-log.txt 2>&1
32  $make check >> build-log.txt 2>&1
33  cd ..
34done
35