10063 basic support for smatch

[unleashed.git] / usr / src / tools / smatch / src / validation / smatch_db_test.sh

#!/bin/bash

rm -f smatch_db.sqlite

./build_smatch_db.sh $*
../smatch $*

rm smatch_db.sqlite