diff options
author | midipix <writeonce@midipix.org> | 2019-01-01 15:06:13 -0500 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2019-01-01 15:06:47 -0500 |
commit | 040de9d30723a5b681a6aca0d18c3f13e87bc884 (patch) | |
tree | 5362f1310f1b1e64212213101345a878ebf9d46a | |
parent | 10e8b8c481086f22c29c5a3ed93a6c461cd73425 (diff) | |
download | w32lib-040de9d30723a5b681a6aca0d18c3f13e87bc884.tar.bz2 w32lib-040de9d30723a5b681a6aca0d18c3f13e87bc884.tar.xz |
build system: pkgconf.sh: be strict (set -eu).
-rwxr-xr-x | sofort/tools/pkgconf.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sofort/tools/pkgconf.sh b/sofort/tools/pkgconf.sh index a37e368..614fdec 100755 --- a/sofort/tools/pkgconf.sh +++ b/sofort/tools/pkgconf.sh @@ -1,5 +1,7 @@ #!/bin/sh +set -eu + # prefix, exec_prefix if [ "$PKGCONF_PREFIX" = "$PKGCONF_EXEC_PREFIX" ]; then pkgconf_prefix="${PKGCONF_PREFIX}" |