Add a line in the compilation output when using --debug #1202
Description
A line could be added to comment that "the files have been dumped at X"
{{ message }}
Add a line in the compilation output when using
--debug #1202A line could be added to comment that "the files have been dumped at X"