Merge pull request #67 from DarkDimius/patch-5

Archive partest results in Dotty

Author: adriaanm

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

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