From 3caa6372614cbbf39d06a8d1741958e1bb92be9a Mon Sep 17 00:00:00 2001 From: David Hashe Date: Tue, 5 May 2015 23:49:55 -0500 Subject: [PATCH] gnu: webkitgtk: Remove unnecessary make flag. * gnu/packages/webkit.scm (webkitgtk): Remove make-flags. --- 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 873428c..9692ab0 100644 --- a/gnu/packages/webkit.scm +++ b/gnu/packages/webkit.scm @@ -55,7 +55,6 @@ (base32 "1zv030ryfwwp57yzlpr9bgpxcmc64izsxk2vsyd4kjhns9cl88bx")))) (build-system cmake-build-system) (arguments '(#:tests? #f ; no tests #:build-type "Release" ; turn off debugging symbols to save space @@ -63,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) -- 1.9.1