Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 375fb46485bd932f3d2a7879d55a3dd9d84852c0)
+++ Jenkinsfile	(revision 32ab51990c8b23f5164708a928a6b69bc7a9885b)
@@ -171,5 +171,6 @@
 		echo "Archiving core dumps"
 		dir (BuildDir) {
-			archiveArtifacts artifacts: "tests/crashes/**/*,lib/**/lib*.so*", fingerprint: true
+			sh """${SrcDir}/tools/jenkins/archive-gen.sh"""
+			archiveArtifacts artifacts: "tests/crashes/**/*,lib/**/lib*.so*,setup.sh", fingerprint: true
 		}
 		throw err
Index: tools/jenkins/archive-gen.sh
===================================================================
--- tools/jenkins/archive-gen.sh	(revision 32ab51990c8b23f5164708a928a6b69bc7a9885b)
+++ tools/jenkins/archive-gen.sh	(revision 32ab51990c8b23f5164708a928a6b69bc7a9885b)
@@ -0,0 +1,24 @@
+#!/bin/bash
+
+script="$(dirname "$0")/setup.sh.in"
+if [ ! -f $script ]; then
+	>&2 echo "Cannot find $script"
+	exit 1
+fi
+
+if [ -f "setup.sh" ]; then
+	>&2 echo "setup.sh already exists, would overwrite it"
+	exit 1
+fi
+
+echo "#!/bin/bash" > setup.sh
+echo "" >> setup.sh
+chmod a+x setup.sh
+
+echo "arch=\"$(uname -m)\"" >> setup.sh
+echo "name=\"$(uname -n)\"" >> setup.sh
+echo "" >> setup.sh
+echo "# ---- copied from $script ----" >> setup.sh
+echo "" >> setup.sh
+
+cat $script >> setup.sh