src/Pure/Tools/ci_profile.scala
changeset 64079 ff26032b7f2a
parent 64055 acd3e25975a2
child 64080 2e5c0bd708af
     1.1 --- a/src/Pure/Tools/ci_profile.scala	Fri Oct 07 10:46:34 2016 +0200
     1.2 +++ b/src/Pure/Tools/ci_profile.scala	Fri Oct 07 11:10:17 2016 +0200
     1.3 @@ -86,7 +86,7 @@
     1.4    override final def apply(args: List[String]): Unit =
     1.5    {
     1.6      print_section("CONFIGURATION")
     1.7 -    Build.ml_options.foreach(opt => println(opt + "=" + quote(Isabelle_System.getenv(opt))))
     1.8 +    Build.ml_settings.foreach(a => println(a + "=" + quote(Isabelle_System.getenv(a))))
     1.9      val props = load_properties()
    1.10      System.getProperties().putAll(props)
    1.11