From c0aaf95ef10cb28175cef4e22619ab7d07df0e71 Mon Sep 17 00:00:00 2001
From: Michal Sojka <sojkam1@fel.cvut.cz>
Date: Wed, 5 Feb 2014 18:52:41 +0100
Subject: [PATCH] Identify repo and commit in the log

---
 continuous/steps/10-clone | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/continuous/steps/10-clone b/continuous/steps/10-clone
index 0cf550c..754c326 100755
--- a/continuous/steps/10-clone
+++ b/continuous/steps/10-clone
@@ -13,3 +13,5 @@ fi
 cd linux
 git fetch $REPO
 git reset --hard FETCH_HEAD
+
+echo "! Repo $REPO $(git describe) $(git rev-parse HEAD) ok"
-- 
2.39.2