Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/polyml-platform
changeset 24474 33da394f0888
parent 21446 3d57db34633b
child 25348 510b46987886 
--- a/lib/scripts/polyml-platform	Wed Aug 29 14:21:19 2007 +0200
+++ b/lib/scripts/polyml-platform	Wed Aug 29 16:24:38 2007 +0200
@@ -18,6 +18,9 @@
           sparc)
             PLATFORM=sparc-solaris
             ;;
+          i?86)
+            PLATFORM=x86-solaris
+            ;;
         esac
         ;;
     esac
isabelle