Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
report actual build_args;
authorwenzelm
Tue, 18 Oct 2016 15:18:58 +0200
changeset 64302 6de1aad1e70d
parent 64301 8053c882839f
child 64303 605351c7ef97
report actual build_args;
src/Pure/Admin/build_history.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_history.scala	Tue Oct 18 15:09:52 2016 +0200
+++ b/src/Pure/Admin/build_history.scala	Tue Oct 18 15:18:58 2016 +0200
@@ -188,9 +188,9 @@
         Isabelle_System.copy_dir(isabelle_base_log, isabelle_output_log)
 
       val build_start = Date.now()
+      val build_args1 = List("-v", "-j" + processes) ::: build_args
       val build_result =
-        other_isabelle("build -v -j " + processes + " " + File.bash_args(build_args),
-          redirect = true, echo = verbose)
+        other_isabelle("build " + File.bash_args(build_args1), redirect = true, echo = verbose)
       val build_end = Date.now()
 
       val log_path =
@@ -207,7 +207,7 @@
 
       val meta_info =
         Build_Log.Prop.multiple(Build_Log.Prop.build_tags, build_tags) :::
-        Build_Log.Prop.multiple(Build_Log.Prop.build_args, build_args) :::
+        Build_Log.Prop.multiple(Build_Log.Prop.build_args, build_args1) :::
         List(
           Build_Log.Prop.build_group_id -> build_group_id,
           Build_Log.Prop.build_id -> (build_host + ":" + build_start.time.ms),
isabelle