From d85d08c7b366d306c558ed7dc6512cc55b0428d1 Mon Sep 17 00:00:00 2001
From: Igor Canadi <icanadi@fb.com>
Date: Mon, 20 Apr 2015 20:45:25 -0700
Subject: [PATCH] One last fix to Makefile

Summary: Based on comment from D37455

Test Plan: make install after make static_lib

Reviewers: meyering

Subscribers: dhruba

Differential Revision: https://reviews.facebook.net/D37461
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 104cdaee8..bc03e0013 100644
--- a/Makefile
+++ b/Makefile
@@ -836,7 +836,7 @@ install-shared: install-headers $(SHARED4)
 
 # install static by default + install shared if it exists
 install: install-static
-	[ ! -e $(SHARED4) ] || $(MAKE) install-shared
+	[ -e $(SHARED4) ] && $(MAKE) install-shared || :
 
 #-------------------------------------------------