src/Pure/System/build.scala
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))