On 03/01/2018 22:42, Jonathan Gibbons wrote: > Updated webrev, reverting unnecessary change to generated-configure.sh > > http://cr.openjdk.java.net/~jjg/8194141/webrev.01/ This cleanup looks good to me. -Alan