diff options
Diffstat (limited to 'tools/ci')
| -rwxr-xr-x | tools/ci/scripts/runtests.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ci/scripts/runtests.sh b/tools/ci/scripts/runtests.sh index 469bbadea..6965f1524 100755 --- a/tools/ci/scripts/runtests.sh +++ b/tools/ci/scripts/runtests.sh @@ -11,6 +11,7 @@ ulimit -c unlimited rm -rf core* export HOME="logs/home" +rm -rf $HOME echo "clean config runs" n=0 @@ -33,6 +34,7 @@ echo "existing config runs" n=0 while true; do echo "run test ${n}" + rm "${HOME}/.config/mana/mana/config.xml" ./tools/ci/scripts/runtest.sh if [ "$?" != 0 ]; then exit 1 |