[make] clean *.o and *.o.sh

Reviewed By: akotulski

Differential Revision: D4053730

fbshipit-source-id: 5cf855b
master
Josh Berdine 8 years ago committed by Facebook Github Bot
parent d891303bb6
commit b1a2a304e2

@ -346,6 +346,7 @@ ifeq ($(IS_FACEBOOK_TREE),yes)
$(MAKE) -C facebook clean $(MAKE) -C facebook clean
endif endif
$(MAKE) -C $(DEPENDENCIES_DIR)/ocamldot clean $(MAKE) -C $(DEPENDENCIES_DIR)/ocamldot clean
find infer/tests -name '*.o' -or -name '*.o.sh' -delete
conf-clean: clean conf-clean: clean
$(REMOVE) infer/lib/python/inferlib/*.pyc $(REMOVE) infer/lib/python/inferlib/*.pyc

Loading…
Cancel
Save