From 4d29ad996392216884242b31b839baa5273a19c6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Petr=20=C5=A0tetiar?= <ynezz@true.cz>
Date: Mon, 9 Nov 2020 12:07:40 +0100
Subject: [PATCH] docker-sdk: print out SDK revision
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This should provide useful information in the CI logs for bisect
purposes etc. Otherwise its not possible to find out which version was
used, just the CI job timestamp.

Signed-off-by: Petr Štetiar <ynezz@true.cz>
---
 docker-sdk.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docker-sdk.sh b/docker-sdk.sh
index 7103dd7..d48c2b4 100755
--- a/docker-sdk.sh
+++ b/docker-sdk.sh
@@ -21,6 +21,8 @@ export DOWNLOAD_PATH
 
 ./docker-download.sh || exit 1
 
+echo "Using SDK from revision $(sed -ne 's/REVISION:=//p' ./build/include/version.mk)"
+
 DOCKERFILE="${DOCKERFILE:-Dockerfile}"
 # Copy Dockerfile inside build context to support older Docker versions
 # See https://github.com/docker/cli/pull/886