commit | e6ba4bd7750c64cce83a0763bb8bc4a617f3d3fc | [log] [tgz] |
---|---|---|
author | Markus Rickert <rickert@fortiss.org> | Thu Jun 04 11:58:04 2020 +0200 |
committer | Markus Rickert <rickert@fortiss.org> | Sun Jul 12 18:33:35 2020 +0200 |
tree | 3a70a8522a2f93eec7aeb4000298428d54f3c3e4 | |
parent | 40e7ceaaaff71f6b815a3601de9a4e7ccd602431 [diff] |
Add command line option for temp directory in runtest