smatch_data/db/build_late_index.sh

   1 #!/bin/bash
   2
   3 db_file=$1
   4
   5
   6 cat << EOF | sqlite3 $db_file
   7 PRAGMA synchronous = OFF;
   8 PRAGMA cache_size = 800000;
   9 PRAGMA journal_mode = OFF;
  10 PRAGMA count_changes = OFF;
  11 PRAGMA temp_store = MEMORY;
  12 PRAGMA locking = EXCLUSIVE;
  13
  14 CREATE INDEX type_size_idx on type_size (type);
  15 CREATE INDEX type_val_idx on type_value (type);
  16
  17 EOF
  18
  19