Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
activated x86_64-linux;
authorwenzelm
Tue, 21 Nov 2006 18:50:54 +0100
changeset 21446 3d57db34633b
parent 21445 0d562bf8ac3e
child 21447 379f130843f7
activated x86_64-linux;
lib/scripts/polyml-platform file | annotate | diff | comparison | revisions 
--- 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
         ;;
isabelle