recompile the check_*.c files if the smatch headers are modified.
commit8903f3cf2361dde6940bc569f75373449fc8eb47
authorDan Carpenter <error27@gmail.com>
Mon, 23 Mar 2009 19:15:45 +0000 (23 22:15 +0300)
committerDan Carpenter <error27@gmail.com>
Mon, 23 Mar 2009 19:15:45 +0000 (23 22:15 +0300)
tree2cbb2c1fe68da525af04c0a850b554ceabf75415
parentd53a62520c70e100651dd5eeda683c0be00b5e5d
recompile the check_*.c files if the smatch headers are modified.

Signed-off-by: Dan Carpenter <error27@gmail.com>
Makefile