diff -r 6953b1a29e19 -r a8703e8ee1d3 Admin/polyml/settings
--- a/Admin/polyml/settings	Mon Sep 25 15:49:27 2017 +0100
+++ b/Admin/polyml/settings	Mon Sep 25 20:43:21 2017 +0200
@@ -13,10 +13,10 @@
 fi
 
 case "${ISABELLE_PLATFORM}:${ML_SYSTEM_64}" in
-  x86-cygwin:true)
+  *-cygwin:true)
     PLATFORMS="x86_64-windows x86-windows"
     ;;
-  x86-cygwin:*)
+  *-cygwin:*)
     PLATFORMS="x86-windows x86_64-windows"
     ;;
   *:true)