From bd528f30e1aa12f9c50e0e554f973b58bc7a6432 Mon Sep 17 00:00:00 2001
From: JWM <jwm@melexis.com>
Date: Mon, 17 Jun 2024 15:37:25 +0200
Subject: [PATCH] Add --coverityserver

---
 src/mlx/warnings/warnings.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/mlx/warnings/warnings.py b/src/mlx/warnings/warnings.py
index 1581e91c..da4ae15d 100644
--- a/src/mlx/warnings/warnings.py
+++ b/src/mlx/warnings/warnings.py
@@ -246,6 +246,7 @@ def warnings_wrapper(args):
     parser = argparse.ArgumentParser(prog='mlx-warnings')
     group1 = parser.add_argument_group('Configuration command line options')
     group1.add_argument('--coverity', dest='coverity', action='store_true')
+    group1.add_argument('--coverityserver', dest='coverityserver', action='store_true')
     group1.add_argument('-d', '--doxygen', dest='doxygen', action='store_true')
     group1.add_argument('-j', '--junit', dest='junit', action='store_true')
     group1.add_argument('-r', '--robot', dest='robot', action='store_true')
@@ -301,6 +302,8 @@ def warnings_wrapper(args):
             warnings.activate_checker_name('xmlrunner')
         if args.coverity:
             warnings.activate_checker_name('coverity')
+        if args.coverityserver:
+            warnings.activate_checker_name('coverityserver')
         if args.robot:
             robot_checker = warnings.activate_checker_name('robot')
             robot_checker.parse_config({