Botond Dénes 438391b4cc scripts/coverage.py: check that --path is a directory ...

To detect a bad --path that would fail coverage generation early.

2021-06-06 09:21:23 +03:00

12 KiB

Executable File

Raw Blame History

View Raw