- Eagerly remove .skip mark files in between mini_tdir.sh runs in case

there has been a change on the environment.
This commit is contained in:
Yorgos Thessalonikefs
2026-02-03 15:08:59 +01:00
parent daa016e3e4
commit faf40c97fc
2 changed files with 11 additions and 0 deletions
+7
View File
@@ -141,6 +141,13 @@ if test -f $done; then
exit 0
fi
# always clear the skip mark file in case something changed in the environment
# in between runs
if test -f $skip; then
echo "minitdir $skip exists; removing."
rm $skip
fi
# Copy
if test $quiet = 0; then
echo "minitdir copy $1 to $dir"