diff options
author | Ossama Othman <ossama-othman@users.noreply.github.com> | 2002-02-12 00:36:03 +0000 |
---|---|---|
committer | Ossama Othman <ossama-othman@users.noreply.github.com> | 2002-02-12 00:36:03 +0000 |
commit | 7c5c1e5884f085734684af33ec8c5853a4907d2c (patch) | |
tree | 1d2c410607ca1d7608362f511df805e9825d591b | |
parent | 590c24ff7dae3fe8037ba8ed886f8c799d697fdc (diff) | |
download | ATCD-7c5c1e5884f085734684af33ec8c5853a4907d2c.tar.gz |
ChangeLogTag:Mon Feb 11 16:31:04 2002 Ossama Othman <ossama@uci.edu>
-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); |