diff --git a/kernel/io.cc b/kernel/io.cc index 45aa496b0..e9801f63e 100644 --- a/kernel/io.cc +++ b/kernel/io.cc @@ -392,12 +392,6 @@ void append_globbed(std::vector& paths, std::string pattern) copy(globbed.begin(), globbed.end(), back_inserter(paths)); } -#ifdef _WIN32 -const char* const OS_PATH_SEP = "/\\"; -#else -const char* const OS_PATH_SEP = "/"; -#endif - std::string name_from_file_path(std::string path) { return std::filesystem::path(path).filename().string(); }