From b02970f5eee014c1cff444462967fc628c910689 Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Thu, 29 Jul 2021 11:46:35 -0400
Subject: [PATCH] Add command to update submodules

---
 tools/update-submodules.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 tools/update-submodules.sh

diff --git a/tools/update-submodules.sh b/tools/update-submodules.sh
new file mode 100755
index 000000000..3391f21ab
--- /dev/null
+++ b/tools/update-submodules.sh
@@ -0,0 +1,15 @@
+#!/usr/bin/env bash
+#
+# This script assumes a linux environment
+
+echo "*** Update submodules"
+
+git submodule update --remote
+if [ `git diff --quiet ./submodules/` ]; then
+    git add -u submodules/
+    git commit -m 'Update submodules'
+    git push origin master
+    echo "*** Submodules updated"
+else
+    echo "*** Submodules are already up to date"
+fi