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