PR 4529

	* coveragedb.cxx (update_coverage_db): Make index "unique" to optimize.

diff --git a/ChangeLog b/ChangeLog
index 68c9fbc0b855beb71b3cd646ae935c541d49d475..e72e9390203a43e0e750c441b0b8c6f9af39f689 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+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

diff --git a/coveragedb.cxx b/coveragedb.cxx
index 8ba49381817f911e0bf467bc62e2f6f5a0535655..11d0abf2b8d774ce512a85904eaa4bd6e43747f4 100644 (file)
--- 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