mostly fixes, one new partition option

[automated-distro-installer] / mymk-basefile

diff --git a/mymk-basefile b/mymk-basefile
index b572ccdf27268f1c38e9ce8186a139d60c7362e4..7e165032628618c082124d5ee0ac37031906a3d6 100755 (executable)
--- a/mymk-basefile
+++ b/mymk-basefile
@@ -63,5 +63,5 @@ fi
 
 if awk '$2 == "/tmp" && $4 ~ /nodev/' /proc/mounts | grep -q . || [[ $? == 141 ]]; then
   $s mount -o remount,dev /tmp
-  fi
+fi
 $s $script_dir/fai/config/basefiles/mk-basefile "$@"