diff options
| author | Johnny Willemsen <jwillemsen@remedy.nl> | 2005-03-11 10:55:23 +0000 |
|---|---|---|
| committer | Johnny Willemsen <jwillemsen@remedy.nl> | 2005-03-11 10:55:23 +0000 |
| commit | 1466d9088def2b6dc7a13dbd058b45df44e4c7fa (patch) | |
| tree | a1a23db71ef86f2e3f70846aac601337ef4df68a /bin | |
| parent | cf3d4390e290217bc6cdbbfcb4422e6af6ce2f62 (diff) | |
| download | ATCD-1466d9088def2b6dc7a13dbd058b45df44e4c7fa.tar.gz | |
ChangeLogTag: Fri Mar 11 10:54:12 UTC 2005 Johnny Willemsen <jwillemsen@remedy.nl>
Diffstat (limited to 'bin')
| -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 5ed6cb93d5e..90c0acfb365 100755 --- a/bin/fuzz.pl +++ b/bin/fuzz.pl @@ -1349,8 +1349,8 @@ if ($opt_t) { print "--------------------Configuration: Fuzz - Level ",$opt_l, "--------------------\n"; +check_for_msc_ver_string () if ($opt_l >= 3); check_for_empty_inline_files () if ($opt_l >= 1); -check_for_msc_ver_string () if ($opt_l >= 6); check_for_noncvs_files () if ($opt_l >= 1); check_for_streams_include () if ($opt_l >= 6); check_for_dependency_file () if ($opt_l >= 1); |