diff options
author | bala <balanatarajan@users.noreply.github.com> | 2004-08-12 03:22:21 +0000 |
---|---|---|
committer | bala <balanatarajan@users.noreply.github.com> | 2004-08-12 03:22:21 +0000 |
commit | a563a6ff56cacee48eeec607f657622fec2198ed (patch) | |
tree | 003b90ac2aa2c57b0abc69d5cec4921cb8ff7c80 | |
parent | 46ab866f508f7109273ced352044746fb66661ab (diff) | |
download | ATCD-a563a6ff56cacee48eeec607f657622fec2198ed.tar.gz |
ChangeLogTag:Wed Aug 11 22:20:49 2004 Balachandran Natarajan <bala@dre.vanderbilt.edu>
-rw-r--r-- | ChangeLog | 6 | ||||
-rwxr-xr-x | bin/fuzz.pl | 6 |
2 files changed, 8 insertions, 4 deletions
diff --git a/ChangeLog b/ChangeLog index f0625ac9dd3..ea72bca199a 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +Wed Aug 11 22:20:49 2004 Balachandran Natarajan <bala@dre.vanderbilt.edu> + + * bin/fuzz.pl: + + Priority of OS.h and Synch.h inclusions have been reduced. + Wed Aug 11 11:55:46 2004 J.T. Conklin <jtc@acorntoolworks.com> * bin/MakeProjectCreator/config/event.mpb diff --git a/bin/fuzz.pl b/bin/fuzz.pl index 920a952482c..eab5ad6c5e7 100755 --- a/bin/fuzz.pl +++ b/bin/fuzz.pl @@ -1290,10 +1290,6 @@ print "--------------------Configuration: Fuzz - Level ",$opt_l, "--------------------\n"; check_for_noncvs_files () if ($opt_l >= 1); -# Commenting out the following checks for short while before BFO. We -# don't want to have noise that we cannot fix for the time being. -check_for_synch_include () if ($opt_l >= 1); -check_for_OS_h_include () if ($opt_l >= 1); check_for_streams_include () if ($opt_l >= 1); check_for_dependency_file () if ($opt_l >= 1); check_for_makefile_variable () if ($opt_l >= 1); @@ -1302,6 +1298,8 @@ check_for_id_string () if ($opt_l >= 1); check_for_newline () if ($opt_l >= 1); check_for_inline () if ($opt_l >= 2); check_for_math_include () if ($opt_l >= 3); +check_for_synch_include () if ($opt_l >= 6); +check_for_OS_h_include () if ($opt_l >= 6); check_for_line_length () if ($opt_l >= 8); check_for_preprocessor_comments () if ($opt_l >= 7); check_for_tchar () if ($opt_l >= 4); |