diff options
Diffstat (limited to 'src/basic/generate-errno-list.sh')
-rwxr-xr-x | src/basic/generate-errno-list.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/basic/generate-errno-list.sh b/src/basic/generate-errno-list.sh index 4c13b3157d..dceeba415c 100755 --- a/src/basic/generate-errno-list.sh +++ b/src/basic/generate-errno-list.sh @@ -1,6 +1,7 @@ -#!/bin/sh +#!/bin/bash # SPDX-License-Identifier: LGPL-2.1-or-later set -eu +set -o pipefail -$1 -dM -include errno.h - </dev/null | \ - awk '/^#define[ \t]+E[^ _]+[ \t]+/ { print $2; }' +${1:?} -dM -include errno.h - </dev/null | \ + awk '/^#define[ \t]+E[^ _]+[ \t]+/ { print $2; }' |