diff --git a/Makefile.monolith b/Makefile.monolith
index f439892c666994f1303b96dcb85f608331c0926f..2ccda1b4d4bd0976401d2a8b2ab0b6c566bd76a6 100644
--- a/Makefile.monolith
+++ b/Makefile.monolith
@@ -62,7 +62,6 @@ BUILD := $(shell \
 
 .PHONY: all
 all:
-	@ $(DUNEBUILD) @check # build src/.merlin, etc.
 	@(echo "(lang dune 2.0)" && \
 	  echo "(context (opam (switch $(SWITCH))))" \
 	 ) > dune-workspace.afl