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 /scripts | |
| parent | e6387d332aa7c00c26bba6f981f75639c92acbb9 (diff) | |
| download | dged-fd1728393d65abb8af2166f3697da55b338e0937.tar.gz dged-fd1728393d65abb8af2166f3697da55b338e0937.tar.xz dged-fd1728393d65abb8af2166f3697da55b338e0937.zip | |
Make shebang more nix sandbox friendly
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 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 |