From 14c097b633c168e912312a98b34d90f2120fcb63 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 6 Mar 2013 09:46:21 +0100
Subject: [PATCH] Reset Makefile default config setting (oops)

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

diff --git a/Makefile b/Makefile
index b7cb2cbbe..392d50f6b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 
-# CONFIG := clang-debug
+CONFIG := clang-debug
 # CONFIG := gcc-debug
-CONFIG := release
+# CONFIG := release
 
 OBJS  = kernel/driver.o kernel/register.o kernel/rtlil.o kernel/log.o kernel/calc.o kernel/select.o kernel/show.o
 
-- 
2.30.2