1 files changed, 4 insertions, 0 deletions
diff --git a/bootstrap b/bootstrap
index 7e5140ee7..c63ff4309 100755
--- a/bootstrap
+++ b/bootstrap
@@ -10,6 +10,10 @@ if ! git --version >/dev/null; then
   exit 1
 fi
 
+# Make sure that "git pull" et al. also update
+# submodules to avoid accidental rollbacks.
+git config --local submodule.recurse true
+
 git submodule update --init
 
 copy_configure() {