# HG changeset patch
# User wenzelm
# Date 1707134586 -3600
# Node ID 72cb42f2db0a5b3e89ff1bcd5ef6578678d3463e
# Parent  4c4d71b00001682be0b84c9b6453709011987d46
omit redundant options;

diff -r 4c4d71b00001 -r 72cb42f2db0a src/Pure/Admin/component_windows_app.scala
--- a/src/Pure/Admin/component_windows_app.scala	Mon Feb 05 12:59:34 2024 +0100
+++ b/src/Pure/Admin/component_windows_app.scala	Mon Feb 05 13:03:06 2024 +0100
@@ -71,7 +71,7 @@
 
       progress.echo("Building GNU binutils for " + platform_name + " ...")
       val build_script =
-        List("""./configure --prefix="$PWD/target" --with-windres --with-ld --target=x86_64-w64-mingw32""",
+        List("""./configure --prefix="$PWD/target" --target=x86_64-w64-mingw32""",
           "make", "make install")
       Isabelle_System.bash(build_script.mkString(" && "), cwd = tmp_dir.file,
         progress_stdout = progress.echo(_, verbose = true),