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 |