diff options
Diffstat (limited to 'src/boot/efi/no-undefined-symbols.sh')
-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!" |