It ends with: ar...@firebird:~/Proofpower/OpenProofPower-2.8.1a10$ cat src/dtd048.ldd cat: src/dtd048.ldd: No such file or directory
2009/1/23 Rob Arthan <r...@lemma-one.com> > Artur (& Steven), > > On 23 Jan 2009, at 17:23, Artur Oliveira Gomes wrote: > > Hi there, >> >> Build.log output: >> > > ... >> >> ar...@firebird:~/Proofpower/OpenProofPower-2.8.1a10$ cat src/dtd048.log >> cat: src/dtd048.log: No such file or directory >> > > Sorry, I mean src/dtd048.ldd - what do you have in that? > > Regards, > > Rob. > > -- Artur Oliveira Gomes
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
