diff options
| author | Julian Andres Klode <jak@debian.org> | 2016-09-02 22:38:34 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2016-09-02 22:38:34 +0200 |
| commit | 969d33307ae0cc1b433a0462ef1561580ea6ddbc (patch) | |
| tree | 0322cf6e3a82a1536c4516e8729993ce68af57af /debian/rules | |
| parent | f6c10fb46d1193b8181b5846538e2cf7c15ff216 (diff) | |
| parent | 54dd6baaf16e92c83f63bdb3633df6e603ac19f3 (diff) | |
Merge tag '1.3_rc4' into ubuntu/master
apt Debian release 1.3~rc4
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 24608a6b8..2f1ea45fc 100755 --- a/debian/rules +++ b/debian/rules @@ -34,3 +34,6 @@ override_dh_auto_configure-arch: flags=-DWITH_DOC=OFF override_dh_auto_configure-indep: flags=-DWITH_DOC=ON override_dh_auto_configure-arch override_dh_auto_configure-indep: dh_auto_configure -- $(flags) + +override_dh_auto_build: + dh_auto_build -- -O |