configdata.pm: Allow extra arguments when --query is given.
That allows operations like this:
./configdata.pm --query 'get_sources(@ARGV)' file1 file2 file3
@@ -178,7 +178,10 @@ _____
'man' => \$man)
or die "Errors in command line arguments\n";
- if (scalar @ARGV > 0) {
+ # We allow extra arguments with --query. That allows constructs like
+ # this:
+ # ./configdata.pm --query 'get_sources(@ARGV)' file1 file2 file3
+ if (!$query && scalar @ARGV > 0) {
print STDERR <<"_____";
Unrecognised arguments.
For more information, do '$0 --help'
