diff options
Diffstat (limited to 'scripts/contrib')
| -rwxr-xr-x | scripts/contrib/mkefidisk.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/contrib/mkefidisk.sh b/scripts/contrib/mkefidisk.sh index 74cf40d551..d6bc965137 100755 --- a/scripts/contrib/mkefidisk.sh +++ b/scripts/contrib/mkefidisk.sh | |||
| @@ -136,6 +136,9 @@ unmount_device() { | |||
| 136 | } | 136 | } |
| 137 | 137 | ||
| 138 | unmount() { | 138 | unmount() { |
| 139 | if [ "$1" = "" ] ; then | ||
| 140 | return 0 | ||
| 141 | fi | ||
| 139 | grep -q $1 /proc/mounts | 142 | grep -q $1 /proc/mounts |
| 140 | if [ $? -eq 0 ]; then | 143 | if [ $? -eq 0 ]; then |
| 141 | debug "Unmounting $1" | 144 | debug "Unmounting $1" |
