On Tue, Jun 10, 2003 at 06:11:11PM -0500, Tiernan Hubble wrote:
> --- Makefile.gcj      2003-06-10 18:07:21.000000000 -0500
> +++ Makefile.gcj.new  2003-06-10 18:04:26.000000000 -0500

I applied this to CVS,

thanks for taking the time to do this grunt work.
It worked before if you did:

bash# make -k -f Makefile.gcj; make -k -f Makefile.gcj

but that was not obvious to everyone ;-)

bgrds,
g�ran

_______________________________________________
devl mailing list
[EMAIL PROTECTED]
http://hawk.freenetproject.org:8080/cgi-bin/mailman/listinfo/devl

Reply via email to