diff options
| author | TitanSnow <[email protected]> | 2017-05-07 12:48:02 +0800 |
|---|---|---|
| committer | TitanSnow <[email protected]> | 2017-05-07 12:48:02 +0800 |
| commit | 28d9f65833c74f60bb4b6796a87146c93a7ac3cf (patch) | |
| tree | 14494d806b961fb78961eea9f20d30283c8e31dd /scripts | |
| parent | 5e14d9284c3540cc6d0f8feddf9c4ca01c0def32 (diff) | |
include stdio.h to avoid build error on centos
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 && |