diff options
| -rwxr-xr-x | configure | 2 | ||||
| -rwxr-xr-x | scripts/has_header | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -1,4 +1,4 @@ -#! /usr/bin/env sh +#!/bin/sh echo "/* Generated by configure */" > src/config.h echo "#ifndef _CONFIG_H" >> src/config.h 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 |
