diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | coveragedb.cxx | 2 |
2 files changed, 6 insertions, 1 deletions
@@ -1,6 +1,11 @@ 2007-07-08 William Cohen <wcohen@redhat.com> PR 4529 + * coveragedb.cxx (update_coverage_db): Make index "unique" to optimize. + +2007-07-08 William Cohen <wcohen@redhat.com> + + PR 4529 * coveragedb.h (db_type): New enum for type column in coverage_element. (coverage_element): Remove removed column, change type to int. * coveragedb.cxx (has_table, has_index): New. diff --git a/coveragedb.cxx b/coveragedb.cxx index 8ba49381..11d0abf2 100644 --- a/coveragedb.cxx +++ b/coveragedb.cxx @@ -340,7 +340,7 @@ void update_coverage_db(systemtap_session &s) "file text, line integer, col integer, " "type text, name text, parent text, " "compiled integer, executed integer)"); - string create_index("create index tokens on counts (file, line, col, " + string create_index("create unique index tokens on counts (file, line, col, " "type, name)"); // make sure the table is there |