From b1a2a304e274968e97715ab1cce4aee20dd36230 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Fri, 21 Oct 2016 03:37:52 -0700
Subject: [PATCH] [make] clean *.o and *.o.sh

Reviewed By: akotulski

Differential Revision: D4053730

fbshipit-source-id: 5cf855b
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

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