smatch: make the --no-db option work
commit02d472da24d8a8121d6e7b09c10e2d4c4f339b14
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 25 Nov 2014 13:34:42 +0000 (25 16:34 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 25 Nov 2014 13:34:42 +0000 (25 16:34 +0300)
tree2e14b6b558cbdeff8d9fc9642d6664e0e5c7b61f
parentaef0d6c42022c0bfd5d95ef9d9f6b1bb2680a6ef
smatch: make the --no-db option work

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch.c