diff options
Diffstat (limited to 'scripts/contrib')
| -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 |
