From 5db0e363896320b0cde42dd857a61941176df6e6 Mon Sep 17 00:00:00 2001 From: ruki Date: Fri, 29 Oct 2021 23:00:28 +0800 Subject: improve get.sh --- scripts/get.sh | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) (limited to 'scripts') 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 \n#include \nint main(){readline(0);return 0;}' + prog='#include \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 -- cgit v1.3.1