diff --git a/maint/coverage b/maint/coverage index d11cd44ae..c446f9777 100755 --- a/maint/coverage +++ b/maint/coverage @@ -31,7 +31,7 @@ cd "$TOPDIR" UNIT=no INTEGRATION=no -while getopts "ch" opt ; do +while getopts "h" opt ; do case "$opt" in h) usage exit 0