bunch of minor updates

[automated-distro-installer] / mymk-basefile

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