diff options
Diffstat (limited to 'pkgs/games/build-support/build-sandbox/src/path-cache.cc')
-rw-r--r-- | pkgs/games/build-support/build-sandbox/src/path-cache.cc | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/pkgs/games/build-support/build-sandbox/src/path-cache.cc b/pkgs/games/build-support/build-sandbox/src/path-cache.cc deleted file mode 100644 index 5bfa43a7..00000000 --- a/pkgs/games/build-support/build-sandbox/src/path-cache.cc +++ /dev/null @@ -1,21 +0,0 @@ -#include <set> -#include <string> - -typedef std::set<std::string> *path_cache; - -extern "C" { - path_cache new_path_cache(void) - { - return new std::set<std::string>(); - } - - void free_path_cache(path_cache pc) - { - delete pc; - } - - bool cache_path(path_cache pc, const char *path) - { - return pc->insert(std::string(path)).second; - } -} |