# HG changeset patch
# User wenzelm
# Date 1478030833 -3600
# Node ID 2cb3e2c2ce8b2f95efdc0d393c378bfa038b0c23
# Parent  4c868fa9d79b32cb240905a4c71f4261dbd21efa
extra newline as for other tools;

diff -r 4c868fa9d79b -r 2cb3e2c2ce8b src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Tue Nov 01 19:43:13 2016 +0100
+++ b/src/Pure/Tools/build.scala	Tue Nov 01 21:07:13 2016 +0100
@@ -751,7 +751,7 @@
 
   Build and manage Isabelle sessions, depending on implicit settings:
 
-""" + Library.prefix_lines("  ", Build_Log.Settings.show()),
+""" + Library.prefix_lines("  ", Build_Log.Settings.show()) + "\n",
       "D:" -> (arg => select_dirs = select_dirs ::: List(Path.explode(arg))),
       "N" -> (_ => numa_shuffling = true),
       "R" -> (_ => requirements = true),