diff options
| author | ruki <[email protected]> | 2021-10-29 22:58:19 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2021-10-29 22:58:19 +0800 |
| commit | 9070ba7533f5d3081ef9b6f46bf15752c674067d (patch) | |
| tree | 171ca3ba5970945225a4ff91e9edcada8ed1f4d1 /scripts | |
| parent | 286ca7ad3ad325758c38546e5c8c2004c8719fe6 (diff) | |
improve get.sh
Diffstat (limited to 'scripts')
| -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 } |