diff options
Diffstat (limited to 'testcode/mini_tdir.sh')
| -rwxr-xr-x | testcode/mini_tdir.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testcode/mini_tdir.sh b/testcode/mini_tdir.sh index d1f7bfce94a8..caef1e3a372e 100755 --- a/testcode/mini_tdir.sh +++ b/testcode/mini_tdir.sh @@ -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" |