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/isabelle-platform
changeset 42716 45eb6829dde2
parent 37012 106c56e916f8
child 48455 a509f19d4cc6 
--- 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