From ee90de5746aeca8f2c059d64df36f6366c7d0a09 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Campinas?= <stephane.campinas@gmail.com>
Date: Wed, 20 Mar 2019 10:16:41 +0100
Subject: [PATCH] show the HEAD of the integration branch to faciliate
 reproducing an error with rustfmt

---
 ci/integration.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/ci/integration.sh b/ci/integration.sh
index 48a652b8dfbe..6a293d5f8083 100755
--- a/ci/integration.sh
+++ b/ci/integration.sh
@@ -76,10 +76,16 @@ function check_fmt_base {
     fi
 }
 
+function show_head {
+    local head=$(git rev-parse HEAD)
+    echo "Head commit of ${INTEGRATION}: $head"
+}
+
 case ${INTEGRATION} in
     cargo)
         git clone --depth=1 https://github.com/rust-lang/${INTEGRATION}.git
         cd ${INTEGRATION}
+        show_head
         export CFG_DISABLE_CROSS_TESTS=1
         check_fmt_with_all_tests
         cd -
@@ -87,12 +93,14 @@ case ${INTEGRATION} in
     crater)
         git clone --depth=1 https://github.com/rust-lang-nursery/${INTEGRATION}.git
         cd ${INTEGRATION}
+        show_head
         check_fmt_with_lib_tests
         cd -
         ;;
     *)
         git clone --depth=1 https://github.com/rust-lang-nursery/${INTEGRATION}.git
         cd ${INTEGRATION}
+        show_head
         check_fmt_with_all_tests
         cd -
         ;;