diff options
| author | Julian Andres Klode <jak@debian.org> | 2016-08-18 10:02:35 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2016-08-18 10:02:35 +0200 |
| commit | d1fd09b982f6108dc32ec75330b0535236c48311 (patch) | |
| tree | c0dce6cf7501c1e0d5e3bad34e9b63c0d6dcd354 /debian/rules | |
| parent | b5fcba3682581b2a48921cc830dbf3deae6b0ff3 (diff) | |
| parent | 43670e2ef8b689d9efba633d11d2a5fc6f9968a0 (diff) | |
Merge tag '1.3_rc2' into ubuntu
apt Debian release 1.3~rc2
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index b36db7cb8..f662944f5 100755 --- a/debian/rules +++ b/debian/rules @@ -13,6 +13,8 @@ export DEB_CFLAGS_MAINT_APPEND := -O2 # do not fail as we are just experimenting with symbol files for now export DPKG_GENSYMBOLS_CHECK_LEVEL=0 +export CTEST_OUTPUT_ON_FAILURE=1 + %: dh $@ --with systemd --parallel --buildsystem=cmake |