> so just do an additional
>
>   $ (cd src; make tools gate)
>
> to build the rest (without pil32).

Ah!  I did not know about this.  Thanks!
-- 
UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Reply via email to