diff options
author | Andrew Cady <d@jerkface.net> | 2016-04-29 15:11:12 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2016-04-29 15:11:12 -0400 |
commit | 1ee78e5651c49be3c9466d8570f32a22f5dee8d4 (patch) | |
tree | a9ae78d5283a1b2ee13e4a36f9ea8db2fe976310 /src/grub-efi.sh | |
parent | 153d299a41b9be4e15dab1ca29bb93a74bd2445d (diff) |
more path fixes
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 |