From 8c424456fcdaa700008fde8ff167ec40b4aaabb8 Mon Sep 17 00:00:00 2001
From: Kai Liu <kailiu@fb.com>
Date: Mon, 2 Dec 2013 20:05:16 -0800
Subject: [PATCH] Make the default compilation debug-friendly

---
 Makefile | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/Makefile b/Makefile
index 6fa2864eb..62f180846 100644
--- a/Makefile
+++ b/Makefile
@@ -6,11 +6,7 @@
 INSTALL_PATH ?= $(CURDIR)
 
 #-----------------------------------------------
-# Uncomment exactly one of the lines labelled (A), (B), and (C) below
-# to switch between compilation modes.
-
-# OPT ?= -DNDEBUG     # (A) Production use (optimized mode)
-OPT += -O2 -fno-omit-frame-pointer -momit-leaf-frame-pointer
+OPT += -fno-omit-frame-pointer -momit-leaf-frame-pointer
 #-----------------------------------------------
 
 # detect what platform we're building on
@@ -139,7 +135,7 @@ all: $(LIBRARY) $(PROGRAMS)
 
 release:
 	$(MAKE) clean
-	OPT=-DNDEBUG $(MAKE) -j32
+	OPT="-DNDEBUG -O2" $(MAKE) -j32
 
 coverage:
 	$(MAKE) clean