author | wenzelm |
Thu, 16 Jun 2005 20:30:37 +0200 | |
changeset 16414 | cad2cf55c851 |
parent 16413 | 47ffc49c7d7b |
child 16415 | d4e2f121e219 |
--- a/Admin/polyml/bin/polyml-platform Thu Jun 16 19:51:04 2005 +0200 +++ b/Admin/polyml/bin/polyml-platform Thu Jun 16 20:30:37 2005 +0200 @@ -24,12 +24,9 @@ ;; Linux) case `uname -m` in - i?86) + i?86 | x86_64) PLATFORM=x86-linux ;; - x86?64) - PLATFORM=x86-linux - ;; Power* | power* | ppc) PLATFORM=ppc-linux ;;