diff --git a/Makefile.in b/Makefile.in index 32461b2f0..f0c7a0ce4 100644 --- a/Makefile.in +++ b/Makefile.in @@ -251,9 +251,11 @@ endif clean: $(REMOVE) test.xml +ifeq (@IS_RELEASE_TREE@,no) ifeq (@BUILD_C_ANALYZERS@,yes) $(MAKE) -C $(FCP_DIR) clean $(MAKE) -C $(FCP_DIR)/clang-ocaml clean +endif endif $(MAKE) -C $(INFER_DIR) clean