changeset 48368 | dc538eef2cf2 |
parent 48364 | 9091b659d7b6 |
child 48370 | d0fa3efec93b |
--- a/src/Pure/System/build.scala Fri Jul 20 16:47:17 2012 +0200 +++ b/src/Pure/System/build.scala Fri Jul 20 16:47:43 2012 +0200 @@ -257,6 +257,8 @@ { val full_queue = find_sessions(more_dirs) + val build_options = (Options.init() /: options)(_.define_simple(_)) + sessions.filter(name => !full_queue.defined(name)) match { case Nil => case bad => error("Undefined session(s): " + commas_quote(bad))