summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xscripts/contrib/mkefidisk.sh5
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/contrib/mkefidisk.sh b/scripts/contrib/mkefidisk.sh
index c86849d395..1992d6c6cb 100755
--- a/scripts/contrib/mkefidisk.sh
+++ b/scripts/contrib/mkefidisk.sh
@@ -98,6 +98,11 @@ DEVICE=$1
98HDDIMG=$2 98HDDIMG=$2
99TARGET_DEVICE=$3 99TARGET_DEVICE=$3
100 100
101LINK=$(readlink $DEVICE)
102if [ $? -eq 0 ]; then
103 DEVICE="$LINK"
104fi
105
101if [ ! -w "$DEVICE" ]; then 106if [ ! -w "$DEVICE" ]; then
102 echo "ERROR: Device $DEVICE does not exist or is not writable" 107 echo "ERROR: Device $DEVICE does not exist or is not writable"
103 usage 108 usage