diff options
author | ryoon <ryoon@pkgsrc.org> | 2014-04-20 23:07:55 +0000 |
---|---|---|
committer | ryoon <ryoon@pkgsrc.org> | 2014-04-20 23:07:55 +0000 |
commit | 7f4de44b76743d3fed5486a03120876b92870887 (patch) | |
tree | 6378f658e6b35c8d570c085285e5f9e8577c4d66 | |
parent | 1f81b933d9dac84662965cfd7871a72a8e5d6931 (diff) | |
download | pkgsrc-7f4de44b76743d3fed5486a03120876b92870887.tar.gz |
Fix PR pkg/48749. When pulseaudio option is not selected, disable
pulseaudio option explicitly.
Fix Linux build.
-rw-r--r-- | www/firefox/options.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/www/firefox/options.mk b/www/firefox/options.mk index ec662379e1e..3d26dcb5692 100644 --- a/www/firefox/options.mk +++ b/www/firefox/options.mk @@ -1,4 +1,4 @@ -# $NetBSD: options.mk,v 1.19 2013/11/16 02:01:46 ryoon Exp $ +# $NetBSD: options.mk,v 1.20 2014/04/20 23:07:55 ryoon Exp $ PKG_OPTIONS_VAR= PKG_OPTIONS.firefox PKG_SUPPORTED_OPTIONS= official-mozilla-branding @@ -58,6 +58,8 @@ CONFIGURE_ARGS+= --enable-optimize=-O2 .if !empty(PKG_OPTIONS:Mpulseaudio) .include "../../audio/pulseaudio/buildlink3.mk" CONFIGURE_ARGS+= --enable-pulseaudio +.else +CONFIGURE_ARGS+= --disable-pulseaudio .endif # XXX end |