1677 |
1677 |
1678 val sessions = getopts(args) |
1678 val sessions = getopts(args) |
1679 val store = Store(options) |
1679 val store = Store(options) |
1680 val progress = new Console_Progress() |
1680 val progress = new Console_Progress() |
1681 |
1681 |
1682 build_task(options, store = store, afp_root = afp_root, base_sessions = |
1682 build_task(options, store, afp_root = afp_root, base_sessions = base_sessions.toList, |
1683 base_sessions.toList, presentation = presentation, requirements = requirements, |
1683 presentation = presentation, requirements = requirements, exclude_session_groups = |
1684 exclude_session_groups = exclude_session_groups.toList, all_sessions = all_sessions, |
1684 exclude_session_groups.toList, all_sessions = all_sessions, build_heap = build_heap, |
1685 build_heap = build_heap, clean_build = clean_build, export_files = export_files, |
1685 clean_build = clean_build, export_files = export_files, fresh_build = fresh_build, |
1686 fresh_build = fresh_build, session_groups = session_groups.toList, sessions = sessions, |
1686 session_groups = session_groups.toList, sessions = sessions, prefs = prefs.toList, verbose = |
1687 prefs = prefs.toList, verbose = verbose, rev = rev, exclude_sessions = |
1687 verbose, rev = rev, exclude_sessions = exclude_sessions.toList, progress = progress) |
1688 exclude_sessions.toList, progress = progress) |
|
1689 }) |
1688 }) |
1690 } |
1689 } |