From ab4d0182ab0b775b705c8c2ff7f65b08784c5942 Mon Sep 17 00:00:00 2001 From: Emil Engler Date: Tue, 8 Aug 2023 16:32:31 +0200 Subject: [PATCH] maint: remove useless optarg The `maint/coverage` script has a useless option `c`. This commit removes it. --- maint/coverage | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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