diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/has_header | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/has_header b/scripts/has_header index 108b055..f679949 100755 --- a/scripts/has_header +++ b/scripts/has_header @@ -1,2 +1,2 @@ #!/bin/sh -echo "#include <$1>" | cc -E - 2>&1 >/dev/null +echo "#include <$1>" | cc -E - >/dev/null 2>&1 |