diff options
-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" |