diff --git a/maint/coverage b/maint/coverage index 8f088011e..b0f66b2f3 100755 --- a/maint/coverage +++ b/maint/coverage @@ -3,7 +3,7 @@ function usage() { cat <