aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorOliver Smith <osmith@sysmocom.de>2022-07-13 09:30:13 +0200
committerosmith <osmith@sysmocom.de>2022-07-13 07:47:14 +0000
commit0b2de357a997b17fededec15221a1679aeeb3058 (patch)
treef1c98ab845da2c21041948ab1fd9eaa06d938337
parentd5b6cba4e9903b5e09e364ae9c0c419e9376c471 (diff)
Cosmetic: coverity: how to add a new project
Mention that new projects should be added to the components list, as a lot of projects were not listed there. I've just added all missing ones. Put it as comment in prepare_source_Osmocom.sh because that's probably the most likely spot where people will see it while adding a new project. Change-Id: I48630f4eb5b4f2b7b714697d15432c0d71f136f9
-rwxr-xr-xcoverity/prepare_source_Osmocom.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/coverity/prepare_source_Osmocom.sh b/coverity/prepare_source_Osmocom.sh
index 01e3d73..31d6714 100755
--- a/coverity/prepare_source_Osmocom.sh
+++ b/coverity/prepare_source_Osmocom.sh
@@ -1,6 +1,12 @@
#!/bin/sh
BASEDIR=source-Osmocom
+# How to add a new project:
+# * add it to the list below
+# * add it to build_Osmocom.sh
+# * add it as component here:
+# https://scan.coverity.com/projects/osmocom?tab=analysis_settings
+
PROJECTS="
libasn1c
libosmo-abis