diff -r ff26032b7f2a -r 2e5c0bd708af src/Pure/Tools/ci_profile.scala
--- a/src/Pure/Tools/ci_profile.scala	Fri Oct 07 11:10:17 2016 +0200
+++ b/src/Pure/Tools/ci_profile.scala	Fri Oct 07 11:24:58 2016 +0200
@@ -86,7 +86,7 @@
   override final def apply(args: List[String]): Unit =
   {
     print_section("CONFIGURATION")
-    Build.ml_settings.foreach(a => println(a + "=" + quote(Isabelle_System.getenv(a))))
+    println(Build_Log.Setting.show_all())
     val props = load_properties()
     System.getProperties().putAll(props)