src/Pure/Admin/build_csdp.scala

--- a/src/Pure/Admin/build_csdp.scala	Sat Mar 04 22:29:21 2023 +0100
+++ b/src/Pure/Admin/build_csdp.scala	Sat Mar 04 23:25:30 2023 +0100
@@ -49,7 +49,6 @@
 
   def build_csdp(
     download_url: String = default_download_url,
-    verbose: Boolean = false,
     progress: Progress = new Progress,
     target_dir: Path = Path.current,
     mingw: MinGW = MinGW.none
@@ -112,7 +111,9 @@
             foreach(file => flags.change(File.path(file)))
       }
 
-      progress.bash(mingw.bash_script("make"), cwd = source_dir.file, echo = verbose).check
+      progress.bash(mingw.bash_script("make"),
+        cwd = source_dir.file,
+        echo = progress.verbose).check
 
 
       /* install */
@@ -188,9 +189,9 @@
         val more_args = getopts(args)
         if (more_args.nonEmpty) getopts.usage()
 
-        val progress = new Console_Progress()
+        val progress = new Console_Progress(verbose = verbose)
 
-        build_csdp(download_url = download_url, verbose = verbose, progress = progress,
+        build_csdp(download_url = download_url, progress = progress,
           target_dir = target_dir, mingw = mingw)
       })
 }