diff options
| author | TitanSnow <[email protected]> | 2017-05-07 12:27:46 +0800 |
|---|---|---|
| committer | TitanSnow <[email protected]> | 2017-05-07 12:27:46 +0800 |
| commit | 2a644df51e930ada0dde27ae091ff48bb2049833 (patch) | |
| tree | d76e4ceedfde3f5981f625ec72e34a34d6014f50 /scripts/get.sh | |
| parent | c6a0913d218f4a35d0727b5a767b275cde8b160a (diff) | |
check readline
Diffstat (limited to 'scripts/get.sh')
| -rwxr-xr-x | scripts/get.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/scripts/get.sh b/scripts/get.sh index 4894e8d89..7202cc6e3 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -35,13 +35,14 @@ my_exit(){ } test_tools() { + prog='#include<readline/readline.h>\nint main(){readline(0);return 0;}' { git --version && make --version && { - cc --version || - gcc --version || - clang --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 } } >/dev/null 2>&1 } |
