From 0ffcf7cc80e57bd039395791b98187db9a51294b Mon Sep 17 00:00:00 2001
From: David Hashe <david.hashe@dhashe.com>
Date: Tue, 5 May 2015 23:49:55 -0500
Subject: [PATCH] gnu: webkitgtk: Remove unnecessary make flag.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
* gnu/packages/webkit.scm (webkitgtk): Remove make-flags.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
---
gnu/packages/webkit.scm | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/gnu/packages/webkit.scm b/gnu/packages/webkit.scm
index 41b9b9a839f..9692ab0d36f 100644
--- a/gnu/packages/webkit.scm
+++ b/gnu/packages/webkit.scm
@@ -62,8 +62,7 @@ (define-public webkitgtk
"-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)
--
GitLab