Print this page 
11972 resync smatch
Split Close
Expand all
Collapse all
          --- old/usr/src/tools/smatch/src/smatch_data/db/clear_user_data.sh
          +++ new/usr/src/tools/smatch/src/smatch_data/db/clear_user_data.sh
   1    1  #!/bin/bash
   2    2  
   3      -echo "delete from caller_info where type = 8017; delete from return_states where type = 8017;" | sqlite3 smatch_db.sqlite
        3 +echo "delete from caller_info where type = 8017; delete from return_states where type = 8017 or type = 9017;" | sqlite3 smatch_db.sqlite
   4    4  
   5    5  
    
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX