From 640c7760e9cad7e26de685838378293805478413 Mon Sep 17 00:00:00 2001 From: Neels Hofmeyr Date: Sun, 18 Jun 2017 02:04:49 +0200 Subject: 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 --- contrib/jenkins-run.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'contrib') 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 @@ fi 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 -- cgit v1.2.3