diff options
| -rwxr-xr-x | scripts/get.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/get.sh b/scripts/get.sh index 834289767..8abf1e26e 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -144,7 +144,9 @@ test_tools() echo -e "$prog" | cc -xc - -o /dev/null -I/usr/local/include -L/usr/local/lib -lreadline || echo -e "$prog" | gcc -xc - -o /dev/null -I/usr/local/include -L/usr/local/lib -lreadline || echo -e "$prog" | clang -xc - -o /dev/null -I/usr/local/include -L/usr/local/lib -lreadline || - echo -e "$prog" | cc -xc -c - -o /dev/null -I/usr/include -I/usr/local/include + echo -e "$prog" | cc -xc -c - -o /dev/null -I/usr/include -I/usr/local/include || + echo -e "$prog" | gcc -xc -c - -o /dev/null -I/usr/include -I/usr/local/include || + echo -e "$prog" | clang -xc -c - -o /dev/null -I/usr/include -I/usr/local/include } } >/dev/null 2>&1 } |