diff --git a/LOG b/LOG
index e5aae978a0..448da06fad 100644
--- a/LOG
+++ b/LOG
@@ -1027,3 +1027,6 @@
     cpnanopass.ss, x86_64.ss, x86.ss, foreign2.c, foreign.ms
 - added initialization of seginfo sorted and trigger_ephemerons fields.
     segment.c
+- redirecting output of first two checkboot runs to /dev/null so the
+  ignored exception, if any, does not show up in the make output.
+    s/Mf-base
diff --git a/s/Mf-base b/s/Mf-base
index 30427e8089..11a2a32de3 100644
--- a/s/Mf-base
+++ b/s/Mf-base
@@ -162,10 +162,10 @@ all: bootall ${Cheader} ${Cequates}
 # same as the last, i.e., the system is properly bootstrapped.
 allx: prettyclean saveboot
 	$(MAKE) all
-	if $(MAKE) checkboot; then echo fine ; else\
+	if $(MAKE) checkboot > /dev/null 2>&1; then echo fine ; else\
           $(MAKE) prettyclean saveboot &&\
           $(MAKE) all &&\
-          if $(MAKE) checkboot; then echo fine ; else\
+          if $(MAKE) checkboot > /dev/null 2>&1; then echo fine ; else\
             $(MAKE) prettyclean saveboot &&\
             $(MAKE) all &&\
             $(MAKE) checkboot ;\