changeset 66691 | a8703e8ee1d3 |
parent 64544 | d23b7c9b9dd4 |
child 66761 | 808e6ddb5a50 |
--- 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)