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/polyml/build
changeset 60979 fb3a641bc914
parent 60972 4fc468197040
child 61071 c6ac3c3fbb85 
--- a/Admin/polyml/build	Wed Aug 19 20:41:23 2015 +0200
+++ b/Admin/polyml/build	Wed Aug 19 21:51:30 2015 +0200
@@ -96,7 +96,7 @@
     peflags -x8192000 -z500 "$TARGET/poly.exe"
     ;;
   x86-windows)
-    for X in libgcc_s_dw2-1.dll libgmp-10.dll libstdc++-6.dll libwinpthread-1.dll
+    for X in libgcc_s_dw2-1.dll libgmp-10.dll libstdc++-6.dll
     do
       cp "/mingw32/bin/$X" "$TARGET/."
     done
isabelle