oasis
oasis copied to clipboard
setup.log GC
This feature request has been migrated from artifact #674 on forge.ocamlcore.org. It was assigned to user102.
user102 posted on 2010-06-25 12:21:50:
If you compile again and again, the setup.log become quite big.
It should be possible to filter the content of setup.log and remove its duplicate from time to time. Typically, when we cross a 4k line (i.e 4k, 8k...)