--- a/src/Pure/Build/export.scala Sun Feb 18 19:09:05 2024 +0100
+++ b/src/Pure/Build/export.scala Mon Feb 19 11:07:08 2024 +0100
@@ -674,8 +674,7 @@
/* export files */
- val store = Store(options)
- export_files(store, session_name, export_dir, progress = progress, export_prune = export_prune,
- export_list = export_list, export_patterns = export_patterns)
+ export_files(Store(options), session_name, export_dir, progress = progress,
+ export_prune = export_prune, export_list = export_list, export_patterns = export_patterns)
})
}