diff options
Diffstat (limited to 'src/boot')
| -rwxr-xr-x | src/boot/efi/no-undefined-symbols.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/efi/no-undefined-symbols.sh b/src/boot/efi/no-undefined-symbols.sh index 14a1a087bb..08b266c455 100755 --- a/src/boot/efi/no-undefined-symbols.sh +++ b/src/boot/efi/no-undefined-symbols.sh @@ -1,6 +1,6 @@ #!/bin/sh -eu if nm -D -u "$1" | grep ' U '; then - echo "Undefined symbols detected!" - exit 1 + echo "Undefined symbols detected!" + exit 1 fi |