From 23576d773fb3eaf2ca3a1a3b9bc4afa0f03ab958 Mon Sep 17 00:00:00 2001
From: Kai Liu <kailiu@fb.com>
Date: Thu, 16 Jan 2014 17:00:34 -0800
Subject: [PATCH] Remove the extra line in "make release"

Summary:

that line was introduced during merge.
---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile b/Makefile
index b770ca7b0..ae1ee56f2 100644
--- a/Makefile
+++ b/Makefile
@@ -139,7 +139,6 @@ all: $(LIBRARY) $(PROGRAMS)
 # Will also generate shared libraries. 
 release:
 	$(MAKE) clean
-	OPT="-DNDEBUG -O2" $(MAKE) -j32
 	OPT="-DNDEBUG -O2" $(MAKE) all -j32
 	OPT="-DNDEBUG -O2" $(MAKE) $(SHARED) -j32