summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJulian Andres Klode <jak@debian.org>2016-09-02 20:11:13 +0200
committerJulian Andres Klode <jak@debian.org>2016-09-02 20:11:13 +0200
commit0789f685c14631f43e2ad2bd2b8444733dd4f00d (patch)
tree8fd2859b89cfa7f61a2f19090a4ab67c07b0aa7a
parent830cba2c508048c2b14618f0518faa6b9c636c45 (diff)
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.
-rwxr-xr-xdebian/rules3
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