diff options
-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"> |