Ping: patch for configure bug, PR libgcj/19877

[Tom Tromey]

>>>>> "DJ" == DJ Delorie <dj@redhat.com> writes:

>> http://gcc.gnu.org/ml/java-patches/2005-q2/msg00528.html

DJ> Have you tried it with only the "!= xno" half of the conditional?  It
DJ> looks like, if you test that, you don't also need to test if it's set,
DJ> since "not set" is a subset of "not no".

I agree; I tested that and it worked.  I'm checking in the patch with
this change.

Tom