debian: Pass -O to make to get readable build logs

Normally make just lets every job write its output directly,
making the log fairly hard to read with high concurrency.

diff --git a/debian/rules b/debian/rules
index 24608a6b8eb575c8d0bd14deea40f8e8bfc220b2..2f1ea45fceeec240585953975fb10707ee1628af 100755 (executable)
--- 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