there has been a change on the environment.
+3 February 2026: Yorgos
+ - Eagerly remove .skip mark files in between mini_tdir.sh runs in case
+ there has been a change on the environment.
+
27 January 2026: Wouter
- Add test for allow-notify with a host name.
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"