script to run smatch
authorJean-Philippe Orsini <jeanfi@gmail.com>
Sat, 20 Apr 2013 08:29:22 +0000 (08:29 +0000)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Sat, 20 Apr 2013 08:29:22 +0000 (08:29 +0000)
commit739a3b0ef7f911f3bf19d50e788256d5d31f1846
treeb21575e1b50f5642620e8d4ec0aa302490bbb510
parent76b85b03426aa14483c2243430869ad7a490508b
script to run smatch
scripts/smatch.sh [new file with mode: 0755]