diff options
author | Vsevolod Stakhov <vsevolod@highsecure.ru> | 2016-12-26 11:00:27 +0000 |
---|---|---|
committer | Vsevolod Stakhov <vsevolod@highsecure.ru> | 2016-12-26 11:00:27 +0000 |
commit | 1cc0dcf1a5fd77df6851fb5985d1e8a5e78d05fc (patch) | |
tree | 87a54310abfa402f47a3ab6ad300f0d34fdc3a51 /debian | |
parent | ded98bb26df73818ada55daaf9a046746ed5ee08 (diff) | |
download | rspamd-1cc0dcf1a5fd77df6851fb5985d1e8a5e78d05fc.tar.gz rspamd-1cc0dcf1a5fd77df6851fb5985d1e8a5e78d05fc.zip |
[Minor] Add optimization option to debian rules
Diffstat (limited to 'debian')
-rwxr-xr-x | debian/rules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 1de157b9a..224478f32 100755 --- a/debian/rules +++ b/debian/rules @@ -23,6 +23,7 @@ override_dh_auto_configure: -DINSTALL_EXAMPLES=ON \ -DFORCE_GMIME24=ON \ -DENABLE_JEMALLOC=ON \ + -DENABLE_OPTIMIZATION=OFF \ -DENABLE_FULL_DEBUG=OFF \ -DENABLE_GD=ON \ -DENABLE_PCRE2=OFF \ |