diff options
| -rwxr-xr-x | bin/fuzz.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/fuzz.pl b/bin/fuzz.pl index 50e9d10b37d..920a952482c 100755 --- a/bin/fuzz.pl +++ b/bin/fuzz.pl @@ -126,7 +126,7 @@ sub store_file ($) elsif ($name =~ /\.(mpc|mwc|mpb|mpt)/i) { push @files_mpc, ($name); } - elsif ($name =~ /\.(ncb|opt)$/i) { + elsif ($name =~ /\.(icc|ncb|opt)$/i) { push @files_noncvs, ($name); } } |