[PATCH] jcheck: allow bug id line to be ignored

[Omair Majid]

Hi,

The following webrev adds a new configure option "ignore" for bugids. If
it is set, then jcheck does not validate the bug summary line at all.

http://cr.openjdk.java.net/~omajid/webrevs/jcheck-ignore-bug-line/00/

This is needed over at the JDK6 project so we can push commits with
Oracle's bug ids (backports from 7 and 8) as well as bugs with
"OPENJDK6-XXXX" bug ids. The thread with the suggestion is available at:

http://mail.openjdk.java.net/pipermail/jdk6-dev/2013-March/002922.html

Thanks,
Omair

-- 
PGP Key: 66484681 (http://pgp.mit.edu/)
Fingerprint = F072 555B 0A17 3957 4E95  0056 F286 F14F 6648 4681