diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/contrib/mkefidisk.sh | 5 |
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 | |||
98 | HDDIMG=$2 | 98 | HDDIMG=$2 |
99 | TARGET_DEVICE=$3 | 99 | TARGET_DEVICE=$3 |
100 | 100 | ||
101 | LINK=$(readlink $DEVICE) | ||
102 | if [ $? -eq 0 ]; then | ||
103 | DEVICE="$LINK" | ||
104 | fi | ||
105 | |||
101 | if [ ! -w "$DEVICE" ]; then | 106 | if [ ! -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 |