diff options
author | Neels Hofmeyr <neels@hofmeyr.de> | 2016-07-11 19:27:22 +0200 |
---|---|---|
committer | Neels Hofmeyr <neels@hofmeyr.de> | 2016-07-12 00:44:18 +0200 |
commit | 0961408e1bceb11586783a2c3484f92924429068 (patch) | |
tree | 083423e65dc46a6748975fabb4025585d9e82fe1 /contrib/jenkins.sh | |
parent | de0acd2ff2cde071d8d0c6818658107d97c24cd1 (diff) |
jenkins.sh: echo HEADs' hashes, echo each project name prominently
Change-Id: I967b11b289630ba6ae1b102c1d6692625f83b875
Diffstat (limited to 'contrib/jenkins.sh')
-rwxr-xr-x | contrib/jenkins.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 608e4cd..38a5591 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -12,6 +12,13 @@ rm -rf "$inst" build_dep() { project="$1" branch="$2" + set +x + echo + echo + echo + echo " =============================== $project ===============================" + echo + set -x if [ -z "$project" ]; then echo "internal failure" exit 1 @@ -23,6 +30,7 @@ build_dep() { if [ -n "$branch" ]; then git checkout "$branch" fi + git rev-parse HEAD autoreconf --install --force ./configure --prefix="$inst" $MAKE $PARALLEL_MAKE install |