# HG changeset patch
# User wenzelm
# Date 1476796738 -7200
# Node ID 6de1aad1e70d81315ea6be48801b9725bf39301d
# Parent  8053c882839f3b9d55e853887b3ee7178a95f1b0
report actual build_args;

diff -r 8053c882839f -r 6de1aad1e70d src/Pure/Admin/build_history.scala
--- 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),