changeset 21446 | 3d57db34633b |
parent 21279 | 2cb5f1621bcf |
child 24474 | 33da394f0888 |
--- 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 ;;