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.
added x86-solaris;
authorwenzelm
Wed, 29 Aug 2007 16:24:38 +0200
changeset 24474 33da394f0888
parent 24473 acd19ea21fbb
child 24475 a297ae4ff188
added x86-solaris;
lib/scripts/polyml-platform file | annotate | diff | comparison | revisions 
--- 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