1*1f5207b7SJohn Levon#!/bin/bash 2*1f5207b7SJohn Levon 3*1f5207b7SJohn Levondb_file=$1 4*1f5207b7SJohn Levoncat << EOF | sqlite3 $db_file 5*1f5207b7SJohn Levon 6*1f5207b7SJohn Levondelete from return_states where function = 'strlen'; 7*1f5207b7SJohn Levondelete from return_states where function = 'strnlen'; 8*1f5207b7SJohn Levondelete from return_states where function = 'sprintf'; 9*1f5207b7SJohn Levondelete from return_states where function = 'snprintf'; 10*1f5207b7SJohn Levon 11*1f5207b7SJohn LevonEOF 12*1f5207b7SJohn Levon 13