Skip to content

driver: Clean up temporary files after a module has been compiled

Matthew Pickering requested to merge wip/t20293 into master

The refactoring accidently removed these calls to eagerly remove temporary files after a module has been compiled. This caused some issues with tmpdirs getting filled up on my system when the project had a large number of modules (for example, Agda)

Fixes #20293 (closed)

Merge request reports