From e12af3491288df06080888917310b3e6fe3789e5 Mon Sep 17 00:00:00 2001 From: John Levon Date: Tue, 27 Nov 2018 10:53:26 +0000 Subject: [PATCH] Add illumos projects Signed-off-by: John Levon Signed-off-by: Dan Carpenter --- smatch.c | 7 ++++++- smatch.h | 2 ++ 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/smatch.c b/smatch.c index e8b3cd0a..f4aaafab 100644 --- a/smatch.c +++ b/smatch.c @@ -254,10 +254,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 a0e7217f..9493531b 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; -- 2.11.4.GIT