# HG changeset patch
# User wenzelm
# Date 1493411969 -7200
# Node ID 52f682598f6b4fb32f777caeba1c61daa7cf0fb8
# Parent  551950dccec6f540960a5c6af7398ba9296635c6
tuned query, notably for isabelle_build_log_build_info;

diff -r 551950dccec6 -r 52f682598f6b src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Fri Apr 28 22:29:37 2017 +0200
+++ b/src/Pure/Admin/build_log.scala	Fri Apr 28 22:39:29 2017 +0200
@@ -652,7 +652,7 @@
 
         val key = Meta_Info.log_name
         val known_files =
-          using(db.select(table, List(key)))(stmt =>
+          using(db.select(table, List(key), distinct = true))(stmt =>
             SQL.iterator(stmt.executeQuery)(rs => db.string(rs, key)).toSet)
 
         val unique_files =