Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/bash_process/build
changeset 66691 a8703e8ee1d3
parent 62566 fe02dcee9493
child 73599 981df2e1f646 
--- a/Admin/bash_process/build	Mon Sep 25 15:49:27 2017 +0100
+++ b/Admin/bash_process/build	Mon Sep 25 20:43:21 2017 +0200
@@ -42,7 +42,7 @@
   x86-linux | x86-darwin)
     cc -Wall -m32 bash_process.c -o "$TARGET/bash_process"
     ;;
-  x86-cygwin)
+  x86_64-cygwin | x86-cygwin)
     cc -Wall bash_process.c -o "$TARGET/bash_process.exe"
     ;;
   *)
isabelle