diff options
author | Ruben Rodriguez <ruben@gnu.org> | 2018-11-07 23:46:36 -0500 |
---|---|---|
committer | Ruben Rodriguez <ruben@gnu.org> | 2018-11-07 23:46:36 -0500 |
commit | aac7789461d2f2106a3ea6c2fe0b068dd3d7fdfb (patch) | |
tree | 81c0695969cc7cc7b40a5370e231d3d18266d2d4 /data/buildscripts/mozconfig-common | |
parent | 70c733d876172ec2676a833a0a8e2a3ddb602b20 (diff) |
Small correction to build scripts
Diffstat (limited to 'data/buildscripts/mozconfig-common')
-rw-r--r-- | data/buildscripts/mozconfig-common | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/data/buildscripts/mozconfig-common b/data/buildscripts/mozconfig-common index 87afb4e..48f9edd 100644 --- a/data/buildscripts/mozconfig-common +++ b/data/buildscripts/mozconfig-common @@ -3,6 +3,8 @@ 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 --enable-release + ac_add_options --disable-debug ac_add_options --disable-tests |