[Libreoffice-commits] core.git: distro-configs/LibreOfficeCoverity.conf

[Libreoffice Gerrit user]

 distro-configs/LibreOfficeCoverity.conf |    1 -
 1 file changed, 1 deletion(-)

New commits:
commit dd0e6849297c18aabe4fc29c0340a2ed1e474eaf
Author:     Stephan Bergmann <sbergman at redhat.com>
AuthorDate: Thu Nov 22 13:49:33 2018 +0100
Commit:     Stephan Bergmann <sbergman at redhat.com>
CommitDate: Thu Nov 22 13:49:33 2018 +0100

    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

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