diff options
| -rw-r--r-- | automation/source/testtool/filter.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/automation/source/testtool/filter.pl b/automation/source/testtool/filter.pl index 8f45073b0934..825c379440d0 100644 --- a/automation/source/testtool/filter.pl +++ b/automation/source/testtool/filter.pl @@ -103,7 +103,7 @@ $outfilebase = $ARGV[2] if defined($ARGV[2]); $namefilter = $ARGV[3] if defined($ARGV[3]); -print "Generating $outfilebase:\n"; +print "Generating $outfilebase:\n" if $debug; $count = 0; |