diff options
| author | Stephan Bergmann <sbergman@redhat.com> | 2018-11-22 13:49:33 +0100 |
|---|---|---|
| committer | Stephan Bergmann <sbergman@redhat.com> | 2018-11-22 13:49:33 +0100 |
| commit | dd0e6849297c18aabe4fc29c0340a2ed1e474eaf (patch) | |
| tree | f0345735b0b2dfb30ac1605cd42cf95e57b7ec2b /distro-configs | |
| parent | 0d653000a6c07327d6db1f95be3d21d50d505423 (diff) | |
Temporarily drop --disable-c++17 from Coverity builds
...to see whether the Coverity issue has solved itself by now (see
0f3b0ec973f06a98c75ef8acfa720a9973e4d2b5 "Avoid C++17 mode for Coverity Scan"
for details)
Change-Id: I1086d6b79217af51a84e347a0d13f323429b37d0
Diffstat (limited to 'distro-configs')
| -rw-r--r-- | distro-configs/LibreOfficeCoverity.conf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/distro-configs/LibreOfficeCoverity.conf b/distro-configs/LibreOfficeCoverity.conf index 9d55f6811732..e387254a6405 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -1,4 +1,3 @@ ---disable-c++17 --enable-assert-always-abort --without-help --enable-gio |