src/Pure/Build/build.scala

 
 
 
   /* build */
 
-  def progress_detailed(options: Options): Boolean = options.bool("build_progress")
+  def progress_detailed(options: Options): Boolean = options.bool("build_progress_detailed")
 
   def build(
     options: Options,
     private_dir: Option[Path] = None,
     build_hosts: List[Build_Cluster.Host] = Nil,