The variable name change can happen later, I think the change is ok. -kto
On Dec 18, 2012, at 8:51 AM, Erik Joelsson wrote: > There were a lot of comments on this, but no clear answer on whether the > change was ok or not. If the variable needs a name change, then we should > change all other occurrences of this too since the pattern is commonly used. > The values of these variables are defined multiple times too and should > probably be centralized as it's always the same, perhaps in spec. I would > argue that all of this should be handled separately from the issue of fixing > the problem at hand. > > /Erik > > On 2012-12-11 14:03, Erik Joelsson wrote: >> This patch corrects the command line for symbol creation. >> >> http://cr.openjdk.java.net/~erikj/8004803/webrev.jdk.01/ >> >> /Erik
