maint: remove useless optarg

The `maint/coverage` script has a useless option `c`. This commit removes it.
2023-08-08 16:32:31 +02:00 · 2023-08-08 16:32:31 +02:00 · ab4d0182ab
parent 3c1e5e32c2
commit ab4d0182ab
1 changed files with 1 additions and 1 deletions
--- 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