Re: [cp-patches] cp-tools: fix build options

[Andrew Haley]

Sorry, Tom just told me this was a local divergence.  I should have
checked these things into gcj only.

Sorry for the confusion.

Andrew.