1 #!/bin/bash 2 3 rm -f smatch_db.sqlite 4 5 ./build_smatch_db.sh $* 6 ../smatch $* 7 8 rm smatch_db.sqlite 9