diff options
Diffstat (limited to 'scripts/contrib/mkefidisk.sh')
-rwxr-xr-x | scripts/contrib/mkefidisk.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/contrib/mkefidisk.sh b/scripts/contrib/mkefidisk.sh index d6bc965137..55f72b0f54 100755 --- a/scripts/contrib/mkefidisk.sh +++ b/scripts/contrib/mkefidisk.sh | |||
@@ -173,7 +173,11 @@ fi | |||
173 | 173 | ||
174 | if [ ! -w "$DEVICE" ]; then | 174 | if [ ! -w "$DEVICE" ]; then |
175 | usage | 175 | usage |
176 | die "Device $DEVICE does not exist or is not writable" | 176 | if [ ! -e "${DEVICE}" ] ; then |
177 | die "Device $DEVICE cannot be found" | ||
178 | else | ||
179 | die "Device $DEVICE is not writable (need to run under sudo?)" | ||
180 | fi | ||
177 | fi | 181 | fi |
178 | 182 | ||
179 | if [ ! -e "$HDDIMG" ]; then | 183 | if [ ! -e "$HDDIMG" ]; then |