# HG changeset patch
# User wenzelm
# Date 1493712746 -7200
# Node ID c9c352583b1673da046001bb56653a5bac7a7ccb
# Parent  f93ae9861d09d54c3cea94a6494b1d4de2a7f699
suppress build_log_snapshot: too bulky;

diff -r f93ae9861d09 -r c9c352583b16 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Mon May 01 23:00:23 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue May 02 10:12:26 2017 +0200
@@ -32,8 +32,6 @@
 
   val jenkins_jobs = List("isabelle-nightly-benchmark", "identify")
 
-  val build_log_snapshot = Path.explode("~/html-data/build_log.db")
-
 
 
   /** particular tasks **/
@@ -158,13 +156,6 @@
         store.write_info(db, files, ml_statistics = true)
         Build_Log.create_full_view(db)
       })
-
-    // SQLite file
-    using(SQLite.open_database(build_log_snapshot))(db =>
-      {
-        store.write_info(db, files)
-        db.rebuild
-      })
   }