aboutsummaryrefslogtreecommitdiffstats
path: root/contrib
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2016-07-11 19:27:22 +0200
committerNeels Hofmeyr <neels@hofmeyr.de>2016-07-12 00:44:18 +0200
commit0961408e1bceb11586783a2c3484f92924429068 (patch)
tree083423e65dc46a6748975fabb4025585d9e82fe1 /contrib
parentde0acd2ff2cde071d8d0c6818658107d97c24cd1 (diff)
jenkins.sh: echo HEADs' hashes, echo each project name prominently
Diffstat (limited to 'contrib')
-rwxr-xr-xcontrib/jenkins.sh8
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