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