From 5fd2d6f5ecc1debd595cc7a6884e27643a575100 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Tue, 7 Jun 2016 19:56:03 +0100
Subject: [PATCH] add changes lost in sync with internal repo

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index 99caa51a8..31111fdc3 100644
--- a/Makefile
+++ b/Makefile
@@ -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)