build.sh: print final repo revisions

Whether patching or not, print the final top commit.

Signed-off-by: Leif Lindholm <leif.lindholm@linaro.org>

1 files changed, 2 insertions, 0 deletions

diff --git a/build.sh b/build.sh
index 8ca6ee6..c9be6c0 100755
--- a/build.sh
+++ b/build.sh
@@ -115,6 +115,7 @@ patch_repo()
     PATCH_DIR="$PWD/patches"
     TARGET_DIR="$PWD/$1"
     if [ ! -d "patches/$1" ]; then
+        git rev-parse HEAD
         return
     fi
 
@@ -124,6 +125,7 @@ patch_repo()
         echo git am --keep-cr $file
         git am --keep-cr $file
     done
+    git rev-parse HEAD
     cd -
 }