# HG changeset patch
# User wenzelm
# Date 1164131454 -3600
# Node ID 3d57db34633bd58884f740cd65348cff6d1a0970
# Parent  0d562bf8ac3e72fe846d7656ac663863e1749be1
activated x86_64-linux;

diff -r 0d562bf8ac3e -r 3d57db34633b lib/scripts/polyml-platform
--- a/lib/scripts/polyml-platform	Tue Nov 21 18:07:44 2006 +0100
+++ b/lib/scripts/polyml-platform	Tue Nov 21 18:50:54 2006 +0100
@@ -24,9 +24,12 @@
     ;;
   Linux)
     case $(uname -m) in
-      i?86 | x86_64)
+      i?86)
         PLATFORM=x86-linux
         ;;
+      x86_64)
+        PLATFORM=x86_64-linux
+        ;;
       Power* | power* | ppc)
         PLATFORM=ppc-linux
         ;;