changeset 68279 | 5824e400cecc |
parent 65419 | 457e4fbed731 |
68270:2bc921b2159b | 68279:5824e400cecc |
---|---|
9 def select = Nil |
9 def select = Nil |
10 |
10 |
11 def pre_hook(args: List[String]) = {} |
11 def pre_hook(args: List[String]) = {} |
12 def post_hook(results: Build.Results) = {} |
12 def post_hook(results: Build.Results) = {} |
13 |
13 |
14 def selection = Sessions.Selection(all_sessions = true) |
14 def selection = Sessions.Selection(all_sessions = true, exclude_sessions = List("HOL-Proofs")) |
15 |
15 |
16 } |
16 } |