From 8e296dd6718abd0c04cd07c4c556cedbafbbe0b8 Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Tue, 7 Sep 2021 13:50:52 -0400
Subject: [PATCH] Fix update-submodules script

---
 tools/update-submodules.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/update-submodules.sh b/tools/update-submodules.sh
index 09ac0a232..6f5c9108c 100755
--- a/tools/update-submodules.sh
+++ b/tools/update-submodules.sh
@@ -7,7 +7,7 @@ set -e
 echo "*** Update submodules"
 
 git submodule update --remote
-if [ `git diff --quiet ./submodules/` ]; then
+if [[ $(git diff ./submodules/) ]]; then
     git add -u submodules/
     git commit -m 'Update submodules'
     git push origin master