diff options
Diffstat (limited to 'scripts/has_header')
| -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 5807bdb..108b055 100755 --- a/scripts/has_header +++ b/scripts/has_header @@ -1,2 +1,2 @@ -#! /usr/bin/env sh +#!/bin/sh echo "#include <$1>" | cc -E - 2>&1 >/dev/null |