From 9c8db2830f16b6deb50541c5693ed14a2240c659 Mon Sep 17 00:00:00 2001
From: Baruch Sterin <baruchs@gmail.com>
Date: Tue, 10 Jun 2014 02:08:20 -0700
Subject: undo an accidental change to the Makefile

---
 Makefile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index e08cfc5c..72b35134 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,3 @@
-ABC_PYTHON=/usr/bin/python
-READLINE=0
 
 CC   := gcc
 CXX  := g++
@@ -42,7 +40,7 @@ arch_flags : arch_flags.c
 	$(CC) arch_flags.c -o arch_flags
 
 ARCHFLAGS ?= $(shell $(CC) arch_flags.c -o arch_flags && ./arch_flags)
-OPTFLAGS  ?= -g -O3 #-DABC_NAMESPACE=xxx
+OPTFLAGS  ?= -g -O #-DABC_NAMESPACE=xxx
 MSG_PREFIX ?=
 
 CFLAGS   += -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare $(OPTFLAGS) $(ARCHFLAGS) -Isrc
-- 
cgit v1.2.3