add changes lost in sync with internal repo

9 years ago · 5fd2d6f5ec
parent 95804e6382
commit 5fd2d6f5ec
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@ -211,6 +211,10 @@ 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)