jenkins-run: create bin.tgz separately from run.tgz
The binary tars are fairly large, and usually one wants to investigate the run
dir logs without any need to download the binaries. Archive the binary tars
separately from the run logs.
Change-Id: I23e6df0d30fc9ea7c5b48bb2364be075d910bfcd
diff --git a/contrib/jenkins-run.sh b/contrib/jenkins-run.sh
index 3931ddb..8c24385 100755
--- a/contrib/jenkins-run.sh
+++ b/contrib/jenkins-run.sh
@@ -1,5 +1,6 @@
#!/bin/sh
set -e -x
+base="$PWD"
# remove older trial dirs and *-run.tgz, if any
trial_dir_prefix="trial-"
@@ -26,6 +27,8 @@
rm -rf "$trial_dir/inst" || true
# tar up all results for archiving (optional)
-tar czf "$trial_dir"-run.tgz "$trial_dir"
+cd "$trial_dir"
+tar czf "$base/${trial_dir}-run.tgz" "$(readlink last_run)"
+tar czf "$base/${trial_dir}-bin.tgz" *.md5 *.tgz
exit $exit_code