diff options
| author | Maxime Dénès | 2020-02-18 13:44:59 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2020-04-07 11:06:01 +0200 |
| commit | 00717f0214b3f2f3fbd05848384e33f4e44aa800 (patch) | |
| tree | 0f708b788f9d58ac7f69aaaa063a30fcc4332316 /tools/TimeFileMaker.py | |
| parent | 04292ee5af69f168d31345119e25226eadee8ae8 (diff) | |
Do not erase native files in debug mode
Being able to inspect the generated OCaml code is a useful debug tool.
It seems this was disabled by mistake in #11081.
Diffstat (limited to 'tools/TimeFileMaker.py')
0 files changed, 0 insertions, 0 deletions