Merge branch 'master' into add-prometheus-metrics

2026-09-07 02:17:43 +02:00 · 2026-02-03 15:22:08 +01:00
parent a00cac5094 faf40c97fc
commit 831a805cd4
2 changed files with 11 additions and 0 deletions
@@ -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"