Skip to content

Fix "coverage -h" command

Steven Murdoch requested to merge sjm217/arti:fix-coverage-help into main

$SCRIPT_NAME is not defined so causes an error. Use $(basename "$0") instead.

Edited by Steven Murdoch

Merge request reports