diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-04-24 19:40:02 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-04-25 08:49:16 -0400 |
| commit | b884196cc1565eaf1b97141fbfa0667ee348e463 (patch) | |
| tree | 9c61d74211ac9227af5ebc7061bd2f54ff4b200c /src/boot | |
| parent | dd6ab3df749172e0b85de00338b485d8f4e24fa1 (diff) | |
meson: also indent scripts with 8 spaces
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 |