diff options
Diffstat (limited to 'helpers/test-build.sh')
| -rwxr-xr-x | helpers/test-build.sh | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/helpers/test-build.sh b/helpers/test-build.sh index ce4aab50..3ed20ec1 100755 --- a/helpers/test-build.sh +++ b/helpers/test-build.sh @@ -1,7 +1,7 @@ -#! /bin/sh +#! /bin/bash -MIXED_COMPILERS="gcc /usr/gcc/bin/gcc clang" -OTHER_COMPILERS="tcc pcc" +MIXED_COMPILERS=${MIXED_COMPILERS:-gcc /usr/gcc/bin/gcc clang} +OTHER_COMPILERS=${OTHER_COMPILERS:-tcc pcc} rm -f compile-results.txt @@ -16,12 +16,15 @@ compile () { } configure_and_compile () { - for j in "" --disable-mpfr - do - ./configure $j CC="$1" - compile "$1" "$j" - done - make distclean + if type -p $1 >> compile-results.txt 2>&1 + then + for j in "" --disable-mpfr + do + ./configure $j CC="$1" + compile "$1" "$j" + make distclean + done + fi } (make distclean) |