diff options
| -rw-r--r-- | configdata.pm.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configdata.pm.in b/configdata.pm.in index 57ad440fa41..14da489cd38 100644 --- a/configdata.pm.in +++ b/configdata.pm.in @@ -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' |