db/fixup_kernel.sh: fix clear_user() handling

[smatch.git] / validation / smatch_db_test.sh

#!/bin/bash

rm -f smatch_db.sqlite

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

rm smatch_db.sqlite