diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-04-18 17:14:48 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-04-23 21:47:29 -0400 |
| commit | 86b3ca7a667baef407ccfa28166638ed0e64c26c (patch) | |
| tree | cc667f70f66bf60c3266edc335f7d6dc1591e90a /src/boot/efi | |
| parent | a923e085af00dfd47eafbbd6964398a10e5a4f19 (diff) | |
meson: use "sh -eu" and make .sh +x, .py -x
Shell scripts should be executable so that meson reports their
invocation succinctly (does not print 'sh' '-e').
Python scripts should not be executable so that meson does the
detection of the right python binary itself.
Add -u everywhere to catch potential errors.
Diffstat (limited to 'src/boot/efi')
| -rwxr-xr-x[-rw-r--r--] | src/boot/efi/no-undefined-symbols.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/efi/no-undefined-symbols.sh b/src/boot/efi/no-undefined-symbols.sh index 4d92082825..14a1a087bb 100644..100755 --- a/src/boot/efi/no-undefined-symbols.sh +++ b/src/boot/efi/no-undefined-symbols.sh @@ -1,4 +1,4 @@ -#!/bin/sh -e +#!/bin/sh -eu if nm -D -u "$1" | grep ' U '; then echo "Undefined symbols detected!" |