src/Pure/Admin/isabelle_devel.scala
changeset 65785 6107504371fb
parent 65771 688a7dd22cbb
child 65793 96b4799a2e04
--- a/src/Pure/Admin/isabelle_devel.scala	Mon May 08 22:31:54 2017 +0200
+++ b/src/Pure/Admin/isabelle_devel.scala	Tue May 09 11:21:42 2017 +0200
@@ -18,6 +18,8 @@
   val standard_log_dirs =
     List(Path.explode("~/log"), Path.explode("~/afp/log"), Path.explode("~/cronjob/log"))
 
+  val build_status_dir = root + Path.explode(BUILD_STATUS)
+
 
   /* index */
 
@@ -87,13 +89,4 @@
       store.snapshot_database(db, root + Path.explode(BUILD_LOG_DB))
     })
   }
-
-
-  /* present build status */
-
-  def build_status(options: Options)
-  {
-    val data = Build_Status.read_data(options)
-    Build_Status.present_data(data, target_dir = root + Path.explode(BUILD_STATUS))
-  }
 }