diff options
| author | Stephan Bergmann <sbergman@redhat.com> | 2017-11-28 12:25:32 +0100 |
|---|---|---|
| committer | Caolán McNamara <caolanm@redhat.com> | 2017-11-28 21:54:52 +0100 |
| commit | 0f3b0ec973f06a98c75ef8acfa720a9973e4d2b5 (patch) | |
| tree | 31c69e4da8355e3d1f74193ccc4e6ec16e7ebd72 /distro-configs | |
| parent | 34a7e1b8712bab8dc731a1b7ffe283009752959d (diff) | |
Avoid C++17 mode for Coverity Scan
...see mail sub-thread starting at
<https://lists.freedesktop.org/archives/libreoffice/2017-November/078966.html>
"Re: New Defects reported by Coverity Scan for LibreOffice" about cid#1424266 et
al; lets see if this makes Coverity happy again...
Change-Id: If488b9f61f084f2286b35326917741051ec8d5ce
Reviewed-on: https://gerrit.libreoffice.org/45403
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Caolán McNamara <caolanm@redhat.com>
Tested-by: Caolán McNamara <caolanm@redhat.com>
Diffstat (limited to 'distro-configs')
| -rw-r--r-- | distro-configs/LibreOfficeCoverity.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/distro-configs/LibreOfficeCoverity.conf b/distro-configs/LibreOfficeCoverity.conf index e387254a6405..9d55f6811732 100644 --- a/distro-configs/LibreOfficeCoverity.conf +++ b/distro-configs/LibreOfficeCoverity.conf @@ -1,3 +1,4 @@ +--disable-c++17 --enable-assert-always-abort --without-help --enable-gio |