Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
omit redundant options;
authorwenzelm
Mon, 05 Feb 2024 13:03:06 +0100
changeset 79579 72cb42f2db0a
parent 79578 4c4d71b00001
child 79580 37e57ac55559
omit redundant options;
src/Pure/Admin/component_windows_app.scala file | annotate | diff | comparison | revisions 
--- 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),
isabelle