Update build_dist

theodiem · May 26, 2024 · bc6b9c9 · bc6b9c9
1 parent 5f99ec9
commit bc6b9c9
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/build_dist b/src/build_dist
@@ -6,7 +6,9 @@ CUSTOM_PI_OS_PATH=$(<"${DIR}"/custompios_path)
 export CUSTOM_PI_OS_PATH
 export PATH=$PATH:$CUSTOM_PI_OS_PATH
 
-test -d /tmp || ( mkdir /tmp && mount -t tmpfs devtmp /tmp)
+test -d /tmp || mkdir /tmp
+mount -t tmpfs devtmp /tmp
+df -h
 
 "${CUSTOM_PI_OS_PATH}"/build_custom_os "$@"