You've already forked gnatcoverage
mirror of
https://github.com/AdaCore/gnatcoverage.git
synced 2026-02-12 12:44:55 -08:00
0884876bce
Only log the creation of an output directory if it not a subdirectory and if quiet mode is not enabled. Also, clean the tests that manually created the directory before invoking gnatcov to avoid the log message.