diff options
| author | _ov4 <ov4@ov4.org> | 2026-10-22 15:10:56 +0000 |
|---|---|---|
| committer | _ov4 <ov4@ov4.org> | 2026-10-22 15:10:56 +0000 |
| commit | 5c491c54a22044ef1570c3fb709e14264e367fb1 (patch) | |
| tree | 7018758523bfc4f73ad2c640ef332ca72cfdd0ba /tools/driver/StandardLibrary.h | |
| parent | 11266ea732e2533081283290c3c865c234e79b2a (diff) | |
fix(driver): cache the embedded standard library per user
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
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); |
