Merge pull request #157 from smarter/dotty-archive-crashes

dotty: archive JVM crash logs

Author: SethTisue

templates/default/jobs/lampepfl/validate/junit.xml.erb

@@ -13,4 +13,13 @@
   jvmFlavor:  "openjdk",
   buildNameScript: setValidateBuildNameScript)
 %>
-</project>
+  <publishers>
+    <hudson.tasks.ArtifactArchiver>
+      <artifacts>hs_err_*.log</artifacts>
+      <allowEmptyArchive>false</allowEmptyArchive>
+      <onlyIfSuccessful>false</onlyIfSuccessful>
+      <fingerprint>false</fingerprint>
+      <defaultExcludes>true</defaultExcludes>
+    </hudson.tasks.ArtifactArchiver>
+  </publishers>
+</project>

templates/default/jobs/lampepfl/validate/partest-bootstrapped.xml.erb

@@ -15,7 +15,7 @@
 %>
   <publishers>
     <hudson.tasks.ArtifactArchiver>
-      <artifacts>tests/partest-generated/**</artifacts>
+      <artifacts>hs_err_*.log,tests/partest-generated/**</artifacts>
       <allowEmptyArchive>false</allowEmptyArchive>
       <onlyIfSuccessful>false</onlyIfSuccessful>
       <fingerprint>false</fingerprint>

templates/default/jobs/lampepfl/validate/partest.xml.erb

@@ -15,7 +15,7 @@
 %>
   <publishers>
     <hudson.tasks.ArtifactArchiver>
-      <artifacts>tests/partest-generated/**</artifacts>
+      <artifacts>hs_err_*.log,tests/partest-generated/**</artifacts>
       <allowEmptyArchive>false</allowEmptyArchive>
       <onlyIfSuccessful>false</onlyIfSuccessful>
       <fingerprint>false</fingerprint>