diff --git a/infer/models/c/Makefile b/infer/models/c/Makefile
index 7bbe0e99c..388dd9199 100644
--- a/infer/models/c/Makefile
+++ b/infer/models/c/Makefile
@@ -16,9 +16,8 @@ all: install
 
 $(INFER_RESULTS): $(C_MODELS_SOURCES) $(CLANG_DEPS)
 # make clean in src/ in case $(CLANG_DEPS) have changed
-	@$(MAKE) -C src clean
 	$(call silent_on_success,\
-	  $(INFER_BIN) -o $(@D) --models-mode --no-failures-allowed -- $(MAKE) -C src)
+	  $(INFER_BIN) -o $(@D) --models-mode --no-failures-allowed -- $(MAKE) -C src clean all)
 
 $(C_MODELS_FILE): $(INFER_RESULTS)
 	@$(INSTALL_DATA) $(dir $(INFER_RESULTS))/specs/*.specs $(SPECS_LIB_DIR)
diff --git a/infer/models/cpp/Makefile b/infer/models/cpp/Makefile
index 13f8be9b8..0f0af61e3 100644
--- a/infer/models/cpp/Makefile
+++ b/infer/models/cpp/Makefile
@@ -17,9 +17,8 @@ all: install
 
 $(INFER_RESULTS): $(CPP_MODELS_SOURCES) $(C_MODELS_SOURCES) $(CLANG_DEPS)
 # make clean in src/ in case $(CLANG_DEPS) have changed
-	@$(MAKE) -C src clean
 	$(call silent_on_success,\
-	  $(INFER_BIN) -o $(@D) --models-mode --no-failures-allowed -- $(MAKE) -C src)
+	  $(INFER_BIN) -o $(@D) --models-mode --no-failures-allowed -- $(MAKE) -C src clean all)
 
 $(CPP_MODELS_FILE): $(INFER_RESULTS)
 	@$(INSTALL_DATA) $(dir $(INFER_RESULTS))/specs/*.specs $(SPECS_LIB_DIR)
diff --git a/infer/models/objc/Makefile b/infer/models/objc/Makefile
index 05ea74daf..fb0b105e7 100644
--- a/infer/models/objc/Makefile
+++ b/infer/models/objc/Makefile
@@ -16,9 +16,8 @@ all: install
 
 $(INFER_RESULTS): $(OBJC_MODELS_SOURCES) $(CLANG_DEPS)
 # make clean in src/ in case $(CLANG_DEPS) have changed
-	@$(MAKE) -C src clean
 	$(call silent_on_success,\
-	  $(INFER_BIN) -o $(@D) --models-mode --no-failures-allowed -- $(MAKE) -C src)
+	  $(INFER_BIN) -o $(@D) --models-mode --no-failures-allowed -- $(MAKE) -C src clean all)
 
 $(OBJC_MODELS_FILE): $(INFER_RESULTS)
 	@$(INSTALL_DATA) $(dir $(INFER_RESULTS))/specs/*.specs $(SPECS_LIB_DIR)