diff options
| author | Albert Cervin <albert@acervin.com> | 2024-05-14 21:36:12 +0200 |
|---|---|---|
| committer | Albert Cervin <albert@acervin.com> | 2024-05-14 21:36:12 +0200 |
| commit | fd1728393d65abb8af2166f3697da55b338e0937 (patch) | |
| tree | b1be2a6253954cf6fc370c49e89113c9a489b80a | |
| parent | e6387d332aa7c00c26bba6f981f75639c92acbb9 (diff) | |
| download | dged-fd1728393d65abb8af2166f3697da55b338e0937.tar.gz dged-fd1728393d65abb8af2166f3697da55b338e0937.tar.xz dged-fd1728393d65abb8af2166f3697da55b338e0937.zip | |
Make shebang more nix sandbox friendly
| -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 |