author | Lars Hupel <lars.hupel@mytum.de> |
Wed, 28 Sep 2016 14:48:46 +0200 | |
changeset 63951 | 8739c1cd2851 |
child 65415 | 8cd54b18b68b |
permissions | -rw-r--r-- |
object profile extends isabelle.CI_Profile { import isabelle._ def threads = 2 def jobs = 1 def include = Nil def select = Nil def pre_hook(args: List[String]) = {} def post_hook(results: Build.Results) = {} def select_sessions(tree: Sessions.Tree): (List[String], Sessions.Tree) = tree.selection(all_sessions = true) }