[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/03: gnu: webkitgtk: Remove unnecessary make flag.
|
From: |
Ludovic Courtès |
|
Subject: |
01/03: gnu: webkitgtk: Remove unnecessary make flag. |
|
Date: |
Wed, 06 May 2015 08:50:25 +0000 |
civodul pushed a commit to branch master
in repository guix.
commit 0ffcf7cc80e57bd039395791b98187db9a51294b
Author: David Hashe <address@hidden>
Date: Tue May 5 23:49:55 2015 -0500
gnu: webkitgtk: Remove unnecessary make flag.
* gnu/packages/webkit.scm (webkitgtk): Remove make-flags.
Signed-off-by: Ludovic Courtès <address@hidden>
---
gnu/packages/webkit.scm | 3 +--
1 files changed, 1 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/webkit.scm b/gnu/packages/webkit.scm
index 41b9b9a..9692ab0 100644
--- a/gnu/packages/webkit.scm
+++ b/gnu/packages/webkit.scm
@@ -62,8 +62,7 @@
"-DPORT=GTK"
(string-append ; uses lib64 by default
"-DLIB_INSTALL_DIR="
- (assoc-ref %outputs "out") "/lib"))
- #:make-flags '("lib=lib"))) ; uses lib64 by default
+ (assoc-ref %outputs "out") "/lib"))))
(native-inputs
`(("bison" ,bison)
("gettext" ,gnu-gettext)