diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/get.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/get.sh b/scripts/get.sh index 59e486309..3470980ac 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -36,7 +36,7 @@ my_exit(){ } test_tools() { - prog='#include<readline/readline.h>\nint main(){readline(0);return 0;}' + prog='#include<stdio.h>\n#include<readline/readline.h>\nint main(){readline(0);return 0;}' { git --version && make --version && |
