From 8a2b19ab2436e4e231302815b6268101878c3073 Mon Sep 17 00:00:00 2001 From: wcohen Date: Sun, 8 Jul 2007 20:09:14 +0000 Subject: PR 4529 * coveragedb.cxx (update_coverage_db): Make index "unique" to optimize. --- ChangeLog | 5 +++++ coveragedb.cxx | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 68c9fbc0..e72e9390 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2007-07-08 William Cohen + + PR 4529 + * coveragedb.cxx (update_coverage_db): Make index "unique" to optimize. + 2007-07-08 William Cohen PR 4529 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 -- cgit