jenkins.sh: echo HEADs' hashes, echo each project name prominently
Change-Id: I967b11b289630ba6ae1b102c1d6692625f83b875
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 @@
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 @@
if [ -n "$branch" ]; then
git checkout "$branch"
fi
+ git rev-parse HEAD
autoreconf --install --force
./configure --prefix="$inst"
$MAKE $PARALLEL_MAKE install