diff --git a/Makefile b/Makefile index a0884806e..1bcfe2088 100644 --- a/Makefile +++ b/Makefile @@ -346,6 +346,7 @@ ifeq ($(IS_FACEBOOK_TREE),yes) $(MAKE) -C facebook clean endif $(MAKE) -C $(DEPENDENCIES_DIR)/ocamldot clean + find infer/tests -name '*.o' -or -name '*.o.sh' -delete conf-clean: clean $(REMOVE) infer/lib/python/inferlib/*.pyc