changeset 15878 | 8192fcf13618 |
parent 11393 | ee3d40b5ac23 |
child 16414 | cad2cf55c851 |
--- a/Admin/polyml/bin/polyml-platform Thu Apr 28 21:36:25 2005 +0200 +++ b/Admin/polyml/bin/polyml-platform Fri Apr 29 00:51:34 2005 +0200 @@ -1,5 +1,7 @@ #!/bin/sh # +# $Id$ +# # polyml-platform --- determine Poly/ML's idea of current hardware and # operating system type # @@ -25,6 +27,9 @@ i?86) PLATFORM=x86-linux ;; + x86?64) + PLATFORM=x86-linux + ;; Power* | power* | ppc) PLATFORM=ppc-linux ;;