From 2b5f4d1df3cb4ff8e47eaf4d2e48829eedb4bead Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 4 Nov 2013 21:30:57 +0100
Subject: [PATCH] Makefile DESTDIR default (/usr/local) without quotes

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index c11f84f5..9fdd8cfb 100644
--- a/Makefile
+++ b/Makefile
@@ -8,7 +8,7 @@ ENABLE_QT4 := 1
 ENABLE_MINISAT := 1
 ENABLE_GPROF := 0
 
-DESTDIR = "/usr/local"
+DESTDIR = /usr/local
 
 OBJS =
 GENFILES =