diff options
author | bleep_blop <worz@tuta.io> | 2017-12-24 06:53:20 +0000 |
---|---|---|
committer | Sven Eden <yamakuzure@gmx.net> | 2018-05-30 07:49:42 +0200 |
commit | 415e4ccf882eb48016c9b97049374eb08ef2f2c4 (patch) | |
tree | e3e92725dd62e2e90524d31e20470cd7e2fc4e1f /src/basic/generate-errno-list.sh | |
parent | faf2e1370d9d3c1e8bfcb17bbd813be53727e9e7 (diff) |
separate flags from shebang
Diffstat (limited to 'src/basic/generate-errno-list.sh')
-rwxr-xr-x | src/basic/generate-errno-list.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/basic/generate-errno-list.sh b/src/basic/generate-errno-list.sh index e2bab8b32..953d5e37b 100755 --- a/src/basic/generate-errno-list.sh +++ b/src/basic/generate-errno-list.sh @@ -1,4 +1,5 @@ -#!/bin/sh -eu +#!/bin/sh +set -eu $1 -dM -include errno.h - </dev/null | \ awk '/^#define[ \t]+E[^ _]+[ \t]+/ { print $2; }' |