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.
src/Pure/Admin/build_release.scala
changeset 65067 8bc9de2278c0
parent 64936 a11f3ebb7bd8
child 65713 b99b48eb46e5 
--- a/src/Pure/Admin/build_release.scala	Tue Feb 28 12:04:23 2017 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Feb 28 12:42:50 2017 +0100
@@ -212,8 +212,7 @@
     -W WEBSITE   produce minimal website in given directory
     -j INT       maximum number of parallel jobs (default 1)
     -l           build library
-    -p NAMES     platform families (comma separated list, default: """ +
-      default_platform_families.mkString(",") + """)
+    -p NAMES     platform families (default: """ + default_platform_families.mkString(",") + """)
     -r REV       Mercurial changeset id (default: RELEASE or tip)
 
   Build Isabelle release in base directory, using the local repository clone.
isabelle