To make the command line option counter work again
Follow-up to
308c347c8b
my $nsetopts = $asetopts - $bsetopts;
# Number of command line options:
-my $aoptions=`grep -c '{"....--' src/tool_listhelp.c`;
-my $boptions=`git show $start:src/tool_listhelp.c 2>/dev/null | grep -c '{"....--'`;
+my $aoptions=`grep -c '{ *"....--' src/tool_listhelp.c`;
+my $boptions=`git show $start:src/tool_listhelp.c 2>/dev/null | grep -c '{ *"....--'`;
my $noptions=$aoptions - $boptions;
# current local branch