From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 4 Nov 2013 20:30:57 +0000 (+0100)
Subject: Makefile DESTDIR default (/usr/local) without quotes
X-Git-Tag: yosys-0.2.0~409
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2b5f4d1df3cb4ff8e47eaf4d2e48829eedb4bead;p=yosys.git

Makefile DESTDIR default (/usr/local) without quotes
---

diff --git a/Makefile b/Makefile
index c11f84f55..9fdd8cfb4 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 =