diff options
| author | Pierre-Marie Pédrot | 2020-01-13 21:05:34 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-01-13 21:05:34 +0100 |
| commit | 507141cb978ae9383b79e4a6af6ab968cb8d540e (patch) | |
| tree | e28165b0a567c78296f2c075ccadf25ce27ef0bb /doc | |
| parent | 7cde333abd7a1c25765a9438d1b830a133a15498 (diff) | |
| parent | a0c02da54bfedeaaa73b1188c3e2e0cd9a4e086b (diff) | |
Merge PR #11081: Native compute: cleanup temporary files on program exit
Reviewed-by: JasonGross
Reviewed-by: Zimmi48
Reviewed-by: maximedenes
Reviewed-by: ppedrot
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/changelog/01-kernel/11081-native-cleanup.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/changelog/01-kernel/11081-native-cleanup.rst b/doc/changelog/01-kernel/11081-native-cleanup.rst new file mode 100644 index 0000000000..b3e3a78b96 --- /dev/null +++ b/doc/changelog/01-kernel/11081-native-cleanup.rst @@ -0,0 +1,4 @@ +- **Changed:** the native compilation (:tacn:`native_compute`) now + creates a directory to contain temporary files instead of putting + them in the root of the system temporary directory. (`#11081 + <https://github.com/coq/coq/pull/11081>`_, by Gaëtan Gilbert). |