From 51ec1194f1a9df3474116b9f70d90409af46387e Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Sun, 8 Jul 2018 17:25:12 +1000 Subject: [PATCH] Use a memory mapped file for sourcing --- src/commands.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/commands.cc b/src/commands.cc index 01af212c..b8223508 100644 --- a/src/commands.cc +++ b/src/commands.cc @@ -1281,7 +1281,7 @@ const CommandDesc source_cmd = { auto start_time = profile ? Clock::now() : Clock::time_point{}; String path = real_path(parse_filename(parser[0])); - String file_content = read_file(path, true); + MappedFile file_content{path}; try { CommandManager::instance().execute(file_content, context,