diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2015-03-09 21:19:42 +0100 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2015-03-09 21:19:42 +0100 |
| commit | 09622311aa51487cd9cd98e8cbd8da5987bcad18 (patch) | |
| tree | 6ebd99d77b373c843015a53e0428a06736ed35c5 /data/buildscripts/mozconfig-common | |
| parent | 0d17f6aeab217192675591b771f472802ae52e3d (diff) | |
Tune-up build scripts for multi-platform batch building
Diffstat (limited to 'data/buildscripts/mozconfig-common')
| -rw-r--r-- | data/buildscripts/mozconfig-common | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/data/buildscripts/mozconfig-common b/data/buildscripts/mozconfig-common new file mode 100644 index 0000000..0de372d --- /dev/null +++ b/data/buildscripts/mozconfig-common @@ -0,0 +1,12 @@ +ac_add_options --with-l10n-base=$PWD/l10n +ac_add_options --enable-official-branding +ac_add_options --with-distribution-id=org.gnu +mk_add_options MOZ_MAKE_FLAGS=-j7 +ac_add_options --with-ccache=/usr/bin/ccache + +ac_add_options --disable-debug +ac_add_options --disable-optimize +ac_add_options --disable-tests +ac_add_options --disable-updater +ac_add_options --disable-crashreporter +ac_add_options --disable-maintenance-service |