diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-03-26 14:06:15 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-03-26 14:06:15 +0200 |
| commit | 2a088e876e21d48abc478923305630cae05d270d (patch) | |
| tree | ce8964a3e78df1c8821e40d47beea72a465cb6b8 /cli/src | |
| parent | bb189640f219d66669b89a5871745fd63d342d98 (diff) | |
Cache eviction helps
Fixes #334.
Diffstat (limited to 'cli/src')
| -rw-r--r-- | cli/src/main.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cli/src/main.rs b/cli/src/main.rs index b7505800..28b3eb89 100644 --- a/cli/src/main.rs +++ b/cli/src/main.rs @@ -238,6 +238,7 @@ fn compile(command: CompileCommand) -> StrResult<()> { if recompile { compile_once(&mut world, &command)?; + comemo::evict(30); } } } |
