This is a test - sorry to bother you.
___
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
David,
> On 15 Dec 2014, at 23:43, David Topham wrote:
>
> It is version 2.9.1w8... and here is the latest attempt (attached).
>
>
> I notice that SOLARIS is on the compile line which is not true..should be
> LINUX perhaps?
> but how do I influence that?
The relevant makefile (src/xpp.mkf)
Thanks for helping Rob, TinyCore does have uname, and that command returns
"Linux".
It uses BusyBox for shell commands and a subset of dd is supported which
does not have the lcase option!
(see attached)
-Dave
On Tue, Dec 16, 2014 at 2:02 AM, Rob Arthan wrote:
>
> David,
>
> > On 15 Dec 2014,
David,
On 16 Dec 2014, at 16:25, David Topham wrote:
> Thanks for helping Rob, TinyCore does have uname, and that command returns
> "Linux".
>
> It uses BusyBox for shell commands and a subset of dd is supported which does
> not have the lcase option!
>
Ah! I try to make the ProofPower bui
