diff options
-rw-r--r-- | ChangeLog | 7 | ||||
-rw-r--r-- | ChangeLogs/ChangeLog-02a | 7 | ||||
-rw-r--r-- | ChangeLogs/ChangeLog-03a | 7 | ||||
-rwxr-xr-x | bin/make_pretty.pl | 2 |
4 files changed, 22 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog index 2e622b6bccd..714845dc820 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +Mon Feb 11 16:31:04 2002 Ossama Othman <ossama@uci.edu> + + * bin/make_pretty.pl (is_warning): + + Do not flag Fuzz's "#pragma warning(push)/(pop)" test title as a + warning. + Mon Feb 11 13:49:35 2002 Ossama Othman <ossama@uci.edu> * bin/fuzz.pl (check_for_push_and_pop): diff --git a/ChangeLogs/ChangeLog-02a b/ChangeLogs/ChangeLog-02a index 2e622b6bccd..714845dc820 100644 --- a/ChangeLogs/ChangeLog-02a +++ b/ChangeLogs/ChangeLog-02a @@ -1,3 +1,10 @@ +Mon Feb 11 16:31:04 2002 Ossama Othman <ossama@uci.edu> + + * bin/make_pretty.pl (is_warning): + + Do not flag Fuzz's "#pragma warning(push)/(pop)" test title as a + warning. + Mon Feb 11 13:49:35 2002 Ossama Othman <ossama@uci.edu> * bin/fuzz.pl (check_for_push_and_pop): diff --git a/ChangeLogs/ChangeLog-03a b/ChangeLogs/ChangeLog-03a index 2e622b6bccd..714845dc820 100644 --- a/ChangeLogs/ChangeLog-03a +++ b/ChangeLogs/ChangeLog-03a @@ -1,3 +1,10 @@ +Mon Feb 11 16:31:04 2002 Ossama Othman <ossama@uci.edu> + + * bin/make_pretty.pl (is_warning): + + Do not flag Fuzz's "#pragma warning(push)/(pop)" test title as a + warning. + Mon Feb 11 13:49:35 2002 Ossama Othman <ossama@uci.edu> * bin/fuzz.pl (check_for_push_and_pop): diff --git a/bin/make_pretty.pl b/bin/make_pretty.pl index 0c3b1f92c41..08305f3eb5e 100755 --- a/bin/make_pretty.pl +++ b/bin/make_pretty.pl @@ -197,7 +197,7 @@ sub is_warning () # Look for warnings - return 1 if ((/warning/i && !/ warning\(s\)/) + return 1 if ((/warning/i && !/ warning\(s\)/ && !/pragma warning\(s\)/) || /info: /i || /^make.*\*\*\*/ || /^error \(future\)/i); |