diff options
| author | ruki <[email protected]> | 2021-10-29 23:00:28 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2021-10-29 23:00:28 +0800 |
| commit | 5db0e363896320b0cde42dd857a61941176df6e6 (patch) | |
| tree | 8b04382ec42d34aee584f72bfaca248f60b15f2f /scripts | |
| parent | 9070ba7533f5d3081ef9b6f46bf15752c674067d (diff) | |
improve get.sh
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/get.sh | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/scripts/get.sh b/scripts/get.sh index 8abf1e26e..01634a967 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -133,17 +133,14 @@ my_exit(){ } test_tools() { - prog='#include <stdio.h>\n#include <readline/readline.h>\nint main(){readline(0);return 0;}' + prog='#include <stdio.h>\nint main(){return 0;}' { git --version && $make --version && { - echo -e "$prog" | cc -xc - -o /dev/null -lreadline || - echo -e "$prog" | gcc -xc - -o /dev/null -lreadline || - echo -e "$prog" | clang -xc - -o /dev/null -lreadline || - 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 - -o /dev/null || + echo -e "$prog" | gcc -xc - -o /dev/null || + echo -e "$prog" | clang -xc - -o /dev/null || 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 |