diff options
author | David Hashe <david.hashe@dhashe.com> | 2015-05-05 23:49:55 -0500 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2015-05-06 09:27:11 +0200 |
commit | 0ffcf7cc80e57bd039395791b98187db9a51294b (patch) | |
tree | fdf34209026939f0ebbd87d8cabc52b626dd081a /gnu | |
parent | 356a62b8e650867d107773120c33531ea429f189 (diff) |
gnu: webkitgtk: Remove unnecessary make flag.
* gnu/packages/webkit.scm (webkitgtk): Remove make-flags.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu')
-rw-r--r-- | 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 41b9b9a839..9692ab0d36 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) |