diff options
Diffstat (limited to 'tools')
| -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 528c74d9c..13735fe64 100755 --- a/tools/ci/scripts/runtests.sh +++ b/tools/ci/scripts/runtests.sh @@ -5,6 +5,8 @@ ulimit -c unlimited -S ulimit -c unlimited rm -rf core* +export HOME="$(pwd)" + echo "clean config runs" n=0 while true; do |