From a8fc3d2b2c58f3182fc7a8cec4dfe91e0408f5eb Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Tue, 30 Apr 2019 17:00:34 +0200
Subject: [PATCH] gitlab-ci: output versions for base 'tools' and 'emulator'
 packages

---
 .gitlab-ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a8cdb0c5e..c7b81c15b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -79,7 +79,8 @@ errorprone:
           unzip -qq -d $ANDROID_HOME emulator-linux-5264690.zip;
           set +x;
       fi
-    - grep Revision $ANDROID_HOME/emulator/source.properties
+    - grep -v '^License' $ANDROID_HOME/tools/source.properties
+                         $ANDROID_HOME/emulator/source.properties
 
     - alias sdkmanager
     - echo y | sdkmanager "platforms;android-$AVD_SDK" > /dev/null