mu: leave mug off by default

This unbreaks the package after marking legacy webkit as
insecure.  Per upstream, mug is a toy.
This commit is contained in:
Joachim Fasting 2017-03-04 19:01:32 +01:00
parent ae3b6811cc
commit 7b914b2986
No known key found for this signature in database
GPG key ID: 7544761007FE4E08

View file

@ -1,7 +1,7 @@
{ fetchurl, stdenv, sqlite, pkgconfig, autoreconfHook
, xapian, glib, gmime, texinfo , emacs, guile
, gtk3, webkitgtk24x, libsoup, icu
, withMug ? stdenv.isLinux }:
, withMug ? false }:
stdenv.mkDerivation rec {
version = "0.9.18";