diff options
author | Bertrand Lorentz <bertrand.lorentz@gmail.com> | 2011-03-01 23:06:50 +0300 |
---|---|---|
committer | Bertrand Lorentz <bertrand.lorentz@gmail.com> | 2011-03-01 23:06:50 +0300 |
commit | 8efb0f698aa83a2afe0b3272acbbbea9ece56238 (patch) | |
tree | 6307dd7a36e8b4a60420a1d38a7754fc680fb217 | |
parent | 442ef80e2877873297d379ab809b2a9585cb9e56 (diff) |
packages: Disable GUI from mono-addins
-rw-r--r-- | packages/mono-addins.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/packages/mono-addins.py b/packages/mono-addins.py index 22338b4..4f784a7 100644 --- a/packages/mono-addins.py +++ b/packages/mono-addins.py @@ -1,4 +1,6 @@ Package ('mono-addins', '0.5', sources = [ 'http://ftp.novell.com/pub/mono/sources/%{name}/%{name}-%{version}.tar.bz2' ], + configure_flags = ['--disable-gui'], + override_properties = { 'make': 'make' } ) |