From 9070ba7533f5d3081ef9b6f46bf15752c674067d Mon Sep 17 00:00:00 2001 From: ruki Date: Fri, 29 Oct 2021 22:58:19 +0800 Subject: improve get.sh --- scripts/get.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 } -- cgit v1.3.1