> sounds like Yet Another Awk Problem (TM).
> 
> will be fixed in the next version (supposedly out Real Soon Now).
> 
> meanwhile, you might want to try another awk and see if it helps (run
> make as 'env AWK=nawk make' or 'env AWK=awk make').

I tried 'env AWK=nawk make' and it worked, thanks!

Boris

_______________________________________________
Bug-guile mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-guile

Reply via email to