--- a/src/Pure/Tools/imports.scala Tue Oct 31 16:42:20 2017 +0100
+++ b/src/Pure/Tools/imports.scala Tue Oct 31 17:03:57 2017 +0100
@@ -99,7 +99,7 @@
select_dirs: List[Path] = Nil,
verbose: Boolean = false) =
{
- val full_sessions = Sessions.load(options, dirs, select_dirs)
+ val full_sessions = Sessions.load(options, dirs = dirs, select_dirs = select_dirs)
val (selected, selected_sessions) = full_sessions.selection(selection)
val deps =
@@ -313,7 +313,7 @@
}
else if (operation_update && incremental_update) {
val (selected, selected_sessions) =
- Sessions.load(options, dirs, select_dirs).selection(selection)
+ Sessions.load(options, dirs = dirs, select_dirs = select_dirs).selection(selection)
selected_sessions.imports_topological_order.foreach(info =>
{
imports(options, operation_update = operation_update, progress = progress,