Re: bug#8461: Defining `java_JAVA' doesn't cause errors even if $(javadir) is indefined

2011-09-19 Thread Stefano Lattarini
On Sunday 18 September 2011, Stefano Lattarini wrote: > tags 8461 patch > close 8461 > thanks > > Reference: > > > I've decided to go with the third option listed there; attached is the > patch I've pushed to maint. > > Regards, > Stefano >

Re: bug#8461: Defining `java_JAVA' doesn't cause errors even if $(javadir) is indefined

2011-09-18 Thread Stefano Lattarini
tags 8461 patch close 8461 thanks Reference: I've decided to go with the third option listed there; attached is the patch I've pushed to maint. Regards, Stefano From c9dfc368a623178f32b67b164f051e9ab65edd99 Mon Sep 17 00:00:00 2001 Message-I