--- a/src/Pure/Tools/build.scala Fri Mar 11 11:49:21 2016 +0100
+++ b/src/Pure/Tools/build.scala Fri Mar 11 17:20:14 2016 +0100
@@ -1031,9 +1031,8 @@
cat_lines(List(
"ISABELLE_BUILD_OPTIONS=" +
quote(Isabelle_System.getenv("ISABELLE_BUILD_OPTIONS")),
- "",
"ISABELLE_BUILD_JAVA_OPTIONS=" +
- quote(Isabelle_System.getenv("ISABELLE_BUILD_JAVA_OPTIONS")) +
+ quote(Isabelle_System.getenv("ISABELLE_BUILD_JAVA_OPTIONS")),
"",
"ML_PLATFORM=" + quote(Isabelle_System.getenv("ML_PLATFORM")),
"ML_HOME=" + quote(Isabelle_System.getenv("ML_HOME")),
@@ -1080,7 +1079,8 @@
-v verbose
-x NAME exclude session NAME and all descendants
- Build and manage Isabelle sessions, depending on implicit
+ Build and manage Isabelle sessions, depending on implicit settings:
+
""" + Library.prefix_lines(" ", show_settings()),
"D:" -> (arg => select_dirs = select_dirs ::: List(Path.explode(arg))),
"R" -> (_ => requirements = true),
@@ -1107,8 +1107,8 @@
progress.echo(
Library.trim_line(
Isabelle_System.bash(
- """echo "Started at $(date) ($ML_IDENTIFIER on $(hostname))" """).out))
- progress.echo(show_settings())
+ """echo "Started at $(date) ($ML_IDENTIFIER on $(hostname))" """).out) + "\n")
+ progress.echo(show_settings() + "\n")
}
val start_time = Time.now()
@@ -1121,9 +1121,9 @@
val elapsed_time = Time.now() - start_time
if (verbose) {
- progress.echo(
+ progress.echo("\n" +
Library.trim_line(
- Isabelle_System.bash("""echo "Finished at "; date""").out))
+ Isabelle_System.bash("""echo -n "Finished at "; date""").out))
}
val total_timing =