Revert "add changes lost in sync with internal repo"

This reverts commit 5fd2d6f5ec. This was supposed to be synced automatically, reverting manual push.
9 years ago · 5f6fceddb0
parent 5fd2d6f5ec
commit 5f6fceddb0
1 changed files with 0 additions and 4 deletions
--- a/4
+++ b/4
@ -211,10 +211,6 @@ endif
 	 $(REMOVE) inferTraceBugs && \
 	 $(LN_S) $(libdir)/infer/infer/lib/python/inferTraceBugs inferTraceBugs)
 ifeq ($(IS_FACEBOOK_TREE),yes)
 	$(MAKE) -C facebook install
 endif
 clean:
 	$(REMOVE) test.xml
 ifeq ($(IS_RELEASE_TREE),no)