From 225419e030dfa496572fb87d8e0da33df6232956 Mon Sep 17 00:00:00 2001
From: Arun Raghavan <arun@arunraghavan.net>
Date: Wed, 11 Jan 2017 17:29:33 +0530
Subject: [PATCH] git-update: Update submodules too

More correct than not doing it, and prevents careless people from
mistakenly pushing changes to submodules.
---
 git-update | 1 +
 1 file changed, 1 insertion(+)

diff --git a/git-update b/git-update
index 3a4ea2a7a5..97356b927c 100755
--- a/git-update
+++ b/git-update
@@ -49,6 +49,7 @@ def update_repo(repo_name, repo_dir, revision, no_interaction, recurse_i=0):
             git("checkout", revision, repository_path=repo_dir)
         else:
             git("pull", "--rebase", repository_path=repo_dir)
+        git("submodule", "update", repository_path=repo_dir)
     except Exception as e:
         out = getattr(e, "output", b"").decode()
         if not no_interaction: