diff --git a/LOG b/LOG
index e43e0d425a..e15a70a3a3 100644
--- a/LOG
+++ b/LOG
@@ -967,3 +967,7 @@
     expeditor.c
 - Adjust cp0 to not replace a procedure name from a let wrapper
     cp0.ss, misc.ms
+- allx now runs all up to three (rather than two) times to eliminate
+  bootstrap failures after small changes like the recent change to
+  procedure names, so we don't have to rebuild the boot files as often.
+    Mf-base
diff --git a/s/Mf-base b/s/Mf-base
index 35fce73394..30427e8089 100644
--- a/s/Mf-base
+++ b/s/Mf-base
@@ -158,15 +158,19 @@ doit: ${PetiteBoot} ${SchemeBoot} ${Cheader} ${Cequates}
 # faster when most of the targets need to be recompiled.
 all: bootall ${Cheader} ${Cequates}
 
-# allx runs all up to two times and checks to see if the new boot file is the
+# allx runs all up to three times and checks to see if the new boot file is the
 # same as the last, i.e., the system is properly bootstrapped.
 allx: prettyclean saveboot
 	$(MAKE) all
 	if $(MAKE) checkboot; then echo fine ; else\
-	  $(MAKE) prettyclean saveboot &&\
-	  $(MAKE) all &&\
-	  $(MAKE) checkboot ;\
-	fi
+          $(MAKE) prettyclean saveboot &&\
+          $(MAKE) all &&\
+          if $(MAKE) checkboot; then echo fine ; else\
+            $(MAKE) prettyclean saveboot &&\
+            $(MAKE) all &&\
+            $(MAKE) checkboot ;\
+          fi\
+        fi
 	$(MAKE) restoreboot
 ifneq ($(OS),Windows_NT)
 	$(MAKE) resetbootlinks