Make some kernel specific stuff depend on -p=kernel
commitc400ebb7b1f8f17e2f01f7fceb2a6209f5c145f2
authorDan Carpenter <error27@gmail.com>
Wed, 25 Nov 2009 11:13:13 +0000 (25 13:13 +0200)
committerDan Carpenter <error27@gmail.com>
Wed, 25 Nov 2009 11:13:13 +0000 (25 13:13 +0200)
treeb111860d3ed073a07545d0fcf36902677fd51c21
parent463eac9f2991d2ed4189b7f1fc08d4cfe625dd66
Make some kernel specific stuff depend on -p=kernel

Smatch now takes either --project=kernel or -p=kernel.  There are still
some more things that need to be moved under the -p=kernel option,
instead of being checked by default.

Signed-off-by: Dan Carpenter <error27@gmail.com>
18 files changed:
check_err_ptr.c
check_err_ptr_deref.c
check_frees_argument.c
check_held_dev.c
check_leaks.c
check_locking.c
check_memory.c
check_overflow.c
check_puts_argument.c
check_type.c
smatch.c
smatch.h
smatch_extra.c
validation/sm_implied4.c
validation/sm_locking.c
validation/sm_locking2.c
validation/sm_locking3.c
validation/sm_locking4.c