From 02d472da24d8a8121d6e7b09c10e2d4c4f339b14 Mon Sep 17 00:00:00 2001
From: Dan Carpenter <dan.carpenter@oracle.com>
Date: Tue, 25 Nov 2014 16:34:42 +0300
Subject: [PATCH] smatch: make the --no-db option work

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
---
 smatch.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/smatch.c b/smatch.c
index 6423c782..76e0c7f1 100644
--- a/smatch.c
+++ b/smatch.c
@@ -160,6 +160,7 @@ void parse_args(int *argcp, char ***argvp)
 		OPTION(call_tree);
 		OPTION(file_output);
 		OPTION(time);
+		OPTION(no_db);
 		if (!found)
 			break;
 		(*argcp)--;
-- 
2.11.4.GIT