# HG changeset patch
# User wenzelm
# Date 1508675781 -7200
# Node ID 8176914dae84d77a0127f41e2560c6dc7cc09cfa
# Parent  8b7c4679c05b7b267fb3558e01297182e79df04b
more recent polyml-test version;

diff -r 8b7c4679c05b -r 8176914dae84 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Oct 22 13:57:25 2017 +0200
+++ b/Admin/components/components.sha1	Sun Oct 22 14:36:21 2017 +0200
@@ -156,6 +156,7 @@
 5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
 853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
 c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
+2b7c02b67feb2f44dda6938a7244f4257e7c580c  polyml-test-905dae2ebfda.tar.gz
 b4ceeaac47f3baae41c2491a8368b03217946166  polyml-test-e7a662f8f9c4.tar.gz
 53123dc011b2d4b4e8fe307f3c9fa355718ad01a  postgresql-42.1.1.tar.gz
 3a5d31377ec07a5069957f5477a4848cfc89a594  postgresql-42.1.4.tar.gz
diff -r 8b7c4679c05b -r 8176914dae84 Admin/polyml/settings
--- a/Admin/polyml/settings	Sun Oct 22 13:57:25 2017 +0200
+++ b/Admin/polyml/settings	Sun Oct 22 14:36:21 2017 +0200
@@ -48,15 +48,19 @@
 
       case "$ML_PLATFORM" in
         x86_64-windows)
+          POLYML_EXE="$ML_HOME/poly.exe"
           ML_OPTIONS="-H 1000 --codepage utf8"
           ;;
         x86-windows)
+          POLYML_EXE="$ML_HOME/poly.exe"
           ML_OPTIONS="-H 500 --codepage utf8"
           ;;
         x86_64-*)
+          POLYML_EXE="$ML_HOME/poly"
           ML_OPTIONS="-H 1000"
           ;;
         *)
+          POLYML_EXE="$ML_HOME/poly"
           ML_OPTIONS="-H 500"
           ;;
       esac