diff -r 3bc49507bae5 -r f5d6cd98b16a src/Pure/Admin/build_verit.scala
--- a/src/Pure/Admin/build_verit.scala	Sat Mar 04 22:29:21 2023 +0100
+++ b/src/Pure/Admin/build_verit.scala	Sat Mar 04 23:25:30 2023 +0100
@@ -15,7 +15,6 @@
 
   def build_verit(
     download_url: String = default_download_url,
-    verbose: Boolean = false,
     progress: Progress = new Progress,
     target_dir: Path = Path.current,
     mingw: MinGW = MinGW.none
@@ -75,7 +74,7 @@
         if (Platform.is_linux) "LDFLAGS=-Wl,-rpath,_DUMMY_" else ""
 
       progress.bash(mingw.bash_script("set -e\n./configure " + configure_options + "\nmake"),
-        cwd = source_dir.file, echo = verbose).check
+        cwd = source_dir.file, echo = progress.verbose).check
 
 
       /* install */
@@ -144,9 +143,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_verit(download_url = download_url, verbose = verbose, progress = progress,
+        build_verit(download_url = download_url, progress = progress,
           target_dir = target_dir, mingw = mingw)
       })
 }