From 7aff2c0d9bd4b63ff95af50a10c825bf96748c07 Mon Sep 17 00:00:00 2001
From: Denis Blank <denis.blank@outlook.com>
Date: Mon, 2 Sep 2019 00:52:30 +0200
Subject: [PATCH] Show the submodule revisions in Travis CI

---
 tools/travis-ci.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/travis-ci.sh b/tools/travis-ci.sh
index d1570c1..c003998 100644
--- a/tools/travis-ci.sh
+++ b/tools/travis-ci.sh
@@ -1,4 +1,7 @@
 #!/bin/bash -e
+# Show the revision of all submodules
+git submodule foreach git rev-parse HEAD
+
 # Install some dependencies manually
 DEPS_DIR="${HOME}/deps"
 mkdir -p ${DEPS_DIR}