src/Pure/Admin/build_history.scala

     multicore_base: Boolean = false,
     multicore_list: List[(Int, Int)] = List(default_multicore),
     arch_64: Boolean = false,
     heap: Int = default_heap,
     max_heap: Option[Int] = None,
-    init_settings: List[String] = Nil,
     more_settings: List[String] = Nil,
     more_preferences: List[String] = Nil,
     verbose: Boolean = false,
     build_tags: List[String] = Nil,
     build_args: List[String] = Nil

 
       val component_settings =
         other_isabelle.init_components(
           components_base = components_base,
           catalogs = Components.optional_catalogs)
-      other_isabelle.init_settings(component_settings ::: init_settings)
+      other_isabelle.init_settings(component_settings)
       resolve_components()
       val ml_platform =
         augment_settings(other_isabelle, threads, arch_64, heap, max_heap, more_settings)
 
       File.write(other_isabelle.etc_preferences, cat_lines(more_preferences))

       var component_repository = Components.static_component_repository
       var more_settings: List[String] = Nil
       var more_preferences: List[String] = Nil
       var fresh = false
       var hostname = ""
-      var init_settings: List[String] = Nil
       var arch_64 = false
       var output_file = ""
       var ml_statistics_step = 1
       var build_tags = List.empty[String]
       var verbose = false

         "R:" -> (arg => component_repository = arg),
         "U:" -> (arg => max_heap = Some(Value.Int.parse(arg))),
         "e:" -> (arg => more_settings = more_settings ::: List(arg)),
         "f" -> (_ => fresh = true),
         "h:" -> (arg => hostname = arg),
-        "i:" -> (arg => init_settings = init_settings ::: List(arg)),
         "m:" ->
           {
             case "32" | "x86" => arch_64 = false
             case "64" | "x86_64" => arch_64 = true
             case bad => error("Bad processor architecture: " + quote(bad))

           component_repository = component_repository, components_base = components_base,
           clean_platforms = clean_platforms, clean_archives = clean_archives,
           fresh = fresh, hostname = hostname, multicore_base = multicore_base,
           multicore_list = multicore_list, arch_64 = arch_64,
           heap = heap.getOrElse(if (arch_64) default_heap * 2 else default_heap),
-          max_heap = max_heap, init_settings = init_settings, more_settings = more_settings,
+          max_heap = max_heap, more_settings = more_settings,
           more_preferences = more_preferences, verbose = verbose, build_tags = build_tags,
           build_args = build_args)
 
       if (output_file.isEmpty) {
         for ((_, log_path) <- results) Output.writeln(log_path.implode, stdout = true)