diff options
Diffstat (limited to 'src/grub-efi.sh')
-rwxr-xr-x | src/grub-efi.sh | 1 |
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 | ||
34 | real_destdir=$samizdat_grub_efi_dir | 34 | real_destdir=$samizdat_grub_efi_dir |
35 | [ "$real_destdir" ] || exit 1 | ||
35 | destdir=$real_destdir.tmp | 36 | destdir=$real_destdir.tmp |
36 | 37 | ||
37 | set -e | 38 | set -e |