diff options
author | Sven Gothel <[email protected]> | 2014-05-09 23:31:08 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2014-05-09 23:31:08 +0200 |
commit | 598da96b3d2ffc3e0915f73749cbafa5fa5cea90 (patch) | |
tree | a2266f04ceb44e473b24e07d07049decefc04764 /make/build-test.xml | |
parent | 3ebfe26810ca1bebde58ca70b083cd48e9b335bb (diff) |
unit test: preserve hs_err_pid*.log files (move to results folder for archive)
Diffstat (limited to 'make/build-test.xml')
-rw-r--r-- | make/build-test.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/make/build-test.xml b/make/build-test.xml index 2305fe9..bccc534 100644 --- a/make/build-test.xml +++ b/make/build-test.xml @@ -425,6 +425,9 @@ chmod 644 ${results}/* \${line.separator} <formatter usefile="true" type="xml"/> </batchtest> </junit> + <move todir="${results}"> + <fileset dir="." includes="hs_err_pid*.log" /> + </move> </target> <target name="junit.run.settings" depends="init, gluegen.cpptasks.detect.os"> |