diff -r 2e5c0bd708af -r 38bb09ed965b src/Pure/Tools/ci_profile.scala
--- a/src/Pure/Tools/ci_profile.scala	Fri Oct 07 11:24:58 2016 +0200
+++ b/src/Pure/Tools/ci_profile.scala	Fri Oct 07 11:45:30 2016 +0200
@@ -86,7 +86,7 @@
   override final def apply(args: List[String]): Unit =
   {
     print_section("CONFIGURATION")
-    println(Build_Log.Setting.show_all())
+    println(Build_Log.Settings.show())
     val props = load_properties()
     System.getProperties().putAll(props)