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.
x86_64: fall back on x86 (more efficient);
authorwenzelm
Thu, 08 Nov 2007 20:07:58 +0100
changeset 25348 510b46987886
parent 25347 297e2520ee82
child 25349 0d46bea01741
x86_64: fall back on x86 (more efficient);
lib/scripts/polyml-platform file | annotate | diff | comparison | revisions 
--- a/lib/scripts/polyml-platform	Thu Nov 08 20:07:57 2007 +0100
+++ b/lib/scripts/polyml-platform	Thu Nov 08 20:07:58 2007 +0100
@@ -27,12 +27,9 @@
     ;;
   Linux)
     case $(uname -m) in
-      i?86)
+      i?86 | x86_64)
         PLATFORM=x86-linux
         ;;
-      x86_64)
-        PLATFORM=x86_64-linux
-        ;;
       Power* | power* | ppc)
         PLATFORM=ppc-linux
         ;;
isabelle