diff options
author | Johnny Willemsen <jwillemsen@remedy.nl> | 2016-03-05 11:11:48 +0100 |
---|---|---|
committer | Johnny Willemsen <jwillemsen@remedy.nl> | 2016-03-05 11:11:48 +0100 |
commit | ccc51dec6401208cc1e9f116de56e20b7d438fd7 (patch) | |
tree | efe1c6c6ed901651faf65c0bda53889b3aff0224 /ACE/bin/fuzz.pl | |
parent | 363f918df7e4f55baf465d66053805d0ff856bef (diff) | |
download | ATCD-ccc51dec6401208cc1e9f116de56e20b7d438fd7.tar.gz |
Don't check fuzz.pl itself
* ACE/bin/fuzz.pl:
Diffstat (limited to 'ACE/bin/fuzz.pl')
-rwxr-xr-x | ACE/bin/fuzz.pl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ACE/bin/fuzz.pl b/ACE/bin/fuzz.pl index e9a776aa654..eba916638ea 100755 --- a/ACE/bin/fuzz.pl +++ b/ACE/bin/fuzz.pl @@ -173,6 +173,9 @@ sub store_file ($) push @files_idl, ($name); } elsif ($name =~ /\.pl$/i) { + if ($name =~ /fuzz.pl/) { + return; + } push @files_pl, ($name); if ($name =~ /^run.*\.pl$/i) { push @files_run_pl, ($name); |