This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [gnats] high priority prs
- From: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- To: Richard Henderson <rth at redhat dot com>
- Cc: <gcc-patches at gcc dot gnu dot org>
- Date: Fri, 29 Mar 2002 11:35:35 +0000 (GMT)
- Subject: Re: [gnats] high priority prs
On Thu, 28 Mar 2002, Richard Henderson wrote:
> if($fields{'Submitter-Id'} eq 'unknown');
> + push(@errors, "Priority is 'high'")
> + if($fields{'Priority'} eq 'high');
Local changes like this should be marked GCC-LOCAL (as with the various
local changes already present) so they don't get lost on gnatsweb
upgrades.
--
Joseph S. Myers
jsm28@cam.ac.uk