From 5f6fceddb0c7b5ee107c4f17973301d434260787 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Wed, 8 Jun 2016 11:26:35 +0100
Subject: [PATCH] Revert "add changes lost in sync with internal repo"

This reverts commit 5fd2d6f5ecc1debd595cc7a6884e27643a575100.

This was supposed to be synced automatically, reverting manual push.
---
 Makefile | 4 ----
 1 file changed, 4 deletions(-)

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