summaryrefslogtreecommitdiff
path: root/src/grub-efi.sh
diff options
context:
space:
mode:
Diffstat (limited to 'src/grub-efi.sh')
-rwxr-xr-xsrc/grub-efi.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/grub-efi.sh b/src/grub-efi.sh
index e2d50f6..e722990 100755
--- a/src/grub-efi.sh
+++ b/src/grub-efi.sh
@@ -32,6 +32,7 @@ EOF
32} 32}
33 33
34real_destdir=$samizdat_grub_efi_dir 34real_destdir=$samizdat_grub_efi_dir
35[ "$real_destdir" ] || exit 1
35destdir=$real_destdir.tmp 36destdir=$real_destdir.tmp
36 37
37set -e 38set -e