summaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/contrib/mkefidisk.sh3
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
138unmount() { 138unmount() {
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"