changeset 64081 | 38bb09ed965b |
parent 64080 | 2e5c0bd708af |
child 64115 | 68619fa37ca7 |
--- 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)