changeset 579 | 78b42fd9e2c4 |
parent 578 | 75fa4158340a |
child 580 | 0a42a7ed6d8d |
--- a/common/tools/brag/logToBRAG.pl Mon Oct 05 10:20:32 2009 +0100 +++ b/common/tools/brag/logToBRAG.pl Mon Oct 05 11:22:09 2009 +0100 @@ -46,6 +46,9 @@ exit(0 + !$help); } +# Do the wild-carding thing +@ARGV = map { glob $_ } @ARGV; + # Start to build structure to be output as XML (same format as XML::Parser would create for us) my $xmlNewline = bless { Text => "\n" }, "Characters"; my $step = bless {