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.
pretend that all versions of BSD are Linux, which might actually work due to binary compatibilty mode of these obsolete platforms;
authorwenzelm
Thu, 12 May 2011 16:00:48 +0200
changeset 42716 45eb6829dde2
parent 42715 fe8ee8099b47
child 42717 0bbb56867091
pretend that all versions of BSD are Linux, which might actually work due to binary compatibilty mode of these obsolete platforms;
lib/scripts/isabelle-platform file | annotate | diff | comparison | revisions 
--- a/lib/scripts/isabelle-platform	Thu May 12 11:03:48 2011 +0200
+++ b/lib/scripts/isabelle-platform	Thu May 12 16:00:48 2011 +0200
@@ -57,10 +57,10 @@
         ;;
     esac
     ;;
-  FreeBSD|NetBSD)
+  *BSD)
     case $(uname -m) in
       i?86 | x86_64)
-        ISABELLE_PLATFORM=x86-bsd
+        ISABELLE_PLATFORM=x86-linux
         ;;
     esac
     ;;
isabelle