Signed-off-by: John Levon <levon@xxxxxxxxxxxxxxxxx>
---
smatch.c | 7 ++++++-
smatch.h | 2 ++
2 files changed, 8 insertions(+), 1 deletion(-)
diff --git a/smatch.c b/smatch.c
index 7a96e0f..5ec0056 100644
--- a/smatch.c
+++ b/smatch.c
@@ -234,10 +234,15 @@ void parse_args(int *argcp, char ***argvp)
if (strcmp(option_project_str, "smatch_generic") != 0)
option_project = PROJ_UNKNOWN;
+
if (strcmp(option_project_str, "kernel") == 0)
option_project = PROJ_KERNEL;
- if (strcmp(option_project_str, "wine") == 0)
+ else if (strcmp(option_project_str, "wine") == 0)
option_project = PROJ_WINE;
+ else if (strcmp(option_project_str, "illumos_kernel") == 0)
+ option_project = PROJ_ILLUMOS_KERNEL;
+ else if (strcmp(option_project_str, "illumos_user") == 0)
+ option_project = PROJ_ILLUMOS_USER;
}
static char *read_bin_filename(void)
diff --git a/smatch.h b/smatch.h
index 737ca48..cc981bb 100644
--- a/smatch.h
+++ b/smatch.h
@@ -981,6 +981,8 @@ enum project_type {
PROJ_NONE,
PROJ_KERNEL,
PROJ_WINE,
+ PROJ_ILLUMOS_KERNEL,
+ PROJ_ILLUMOS_USER,
PROJ_UNKNOWN,
};
extern enum project_type option_project;
--
1.8.3.1
