--- a/Admin/isatest/settings/at-poly Tue Oct 28 16:27:11 2014 +0100
+++ b/Admin/isatest/settings/at-poly Tue Oct 28 16:44:58 2014 +0100
@@ -4,7 +4,7 @@
POLYML_HOME="/home/polyml/polyml-5.3.0"
ML_SYSTEM="polyml-5.3.0"
- ML_PLATFORM="x86-linux"
+ ML_PLATFORM="x86_64-linux"
ML_HOME="$POLYML_HOME/$ML_PLATFORM"
ML_OPTIONS="-H 1000"
--- a/Admin/isatest/settings/at-poly-e Tue Oct 28 16:27:11 2014 +0100
+++ b/Admin/isatest/settings/at-poly-e Tue Oct 28 16:44:58 2014 +0100
@@ -4,7 +4,7 @@
POLYML_HOME="/home/polyml/polyml-5.3.0"
ML_SYSTEM="polyml-5.3.0"
- ML_PLATFORM="x86-linux"
+ ML_PLATFORM="x86_64-linux"
ML_HOME="$POLYML_HOME/$ML_PLATFORM"
ML_OPTIONS="-H 1000"