aboutsummaryrefslogtreecommitdiff
path: root/plugins
diff options
context:
space:
mode:
authorGaëtan Gilbert2019-11-08 21:40:57 +0100
committerGaëtan Gilbert2020-01-13 15:27:13 +0100
commita0c02da54bfedeaaa73b1188c3e2e0cd9a4e086b (patch)
treee28165b0a567c78296f2c075ccadf25ce27ef0bb /plugins
parent7cde333abd7a1c25765a9438d1b830a133a15498 (diff)
Native compute: cleanup temporary files on program exit
We make a temporary directory for these files and cleanup at process exit. The temporary directory means we don't have to guess what extensions ocaml will produce, we can just delete everything there. We use Lazy to avoid spamming unused directories when ahead-of-time compiling without actually using native casts / nativenorm (typically stdlib files). Sadly ocaml has "create temp file" but not "create temp dir", so we have to copy the name generation code. Fix #10495
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions