diff options
Diffstat (limited to 'tools/driver/StandardLibrary.h')
| -rw-r--r-- | tools/driver/StandardLibrary.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/driver/StandardLibrary.h b/tools/driver/StandardLibrary.h index 5aa4f8c..0e641d0 100644 --- a/tools/driver/StandardLibrary.h +++ b/tools/driver/StandardLibrary.h @@ -3,9 +3,11 @@ #include <string> #include <vector> -// Extracted files live through native linking and runner execution. +// Extracted files live through native linking and runner execution. They are cached per user +// (never deleted); only the fallback temporary directory is removed on destruction. class StandardLibrary { llvm::SmallString<256> Directory; + bool Temporary = false; public: ~StandardLibrary(); bool load(std::vector<std::string> &Inputs); |
