add more CI, instrumented runs

This commit is contained in:
Joost VandeVondele
2020-09-08 15:10:58 +02:00
committed by nodchip
parent 4206a1edd0
commit 17d42e023e
3 changed files with 136 additions and 3 deletions
+3 -3
View File
@@ -1716,9 +1716,9 @@ namespace Learner
namespace sys = std::filesystem;
sys::path p(kif_base_dir); // Origin of enumeration
std::for_each(sys::directory_iterator(p), sys::directory_iterator(),
[&](const sys::path& p) {
if (sys::is_regular_file(p))
filenames.push_back(Path::Combine(target_dir, p.filename().generic_string()));
[&](const sys::path& path) {
if (sys::is_regular_file(path))
filenames.push_back(Path::Combine(target_dir, path.filename().generic_string()));
});
}