diff options
author | Vladimir Kobal <vlad@prokk.net> | 2022-03-15 11:50:24 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-15 11:50:24 +0100 |
commit | 52456f5baf6e677c7e2cf5fcb863c59076e01093 (patch) | |
tree | 805f2eda7173a8128d191ba34232716ec9566d19 /coverity-scan.sh | |
parent | 908d369195205d25b4599be4a7ef89b804b172fc (diff) |
Remove backends subsystem (#12146)
Diffstat (limited to 'coverity-scan.sh')
-rwxr-xr-x | coverity-scan.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/coverity-scan.sh b/coverity-scan.sh index 24cd193499..f8486de020 100755 --- a/coverity-scan.sh +++ b/coverity-scan.sh @@ -175,11 +175,11 @@ OTHER_OPTIONS+=" --enable-jsonc" OTHER_OPTIONS+=" --enable-plugin-nfacct" OTHER_OPTIONS+=" --enable-plugin-freeipmi" OTHER_OPTIONS+=" --enable-plugin-cups" -OTHER_OPTIONS+=" --enable-backend-prometheus-remote-write" +OTHER_OPTIONS+=" --enable-exporting-prometheus-remote-write" # TODO: enable these plugins too #OTHER_OPTIONS+=" --enable-plugin-xenstat" -#OTHER_OPTIONS+=" --enable-backend-kinesis" -#OTHER_OPTIONS+=" --enable-backend-mongodb" +#OTHER_OPTIONS+=" --enable-exporting-kinesis" +#OTHER_OPTIONS+=" --enable-exporting-mongodb" FOUND_OPTS="NO" while [ -n "${1}" ]; do |