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