1#!/bin/bash
2
3../smatch --info $* > warns.txt
4../smatch_data/db/create_db.sh warns.txt > /dev/null 2>&1
5
6