projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f2786df)
Makefile DESTDIR default (/usr/local) without quotes
authorClifford Wolf <clifford@clifford.at>
Mon, 4 Nov 2013 20:30:57 +0000 (21:30 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 4 Nov 2013 20:30:57 +0000 (21:30 +0100)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index c11f84f55cb31dd81915fd25d39af7461c9c8ef0..9fdd8cfb4ade70072c670c02a9b12e4a95e4266e 100644 (file)
--- 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 =