Hi,



>Yeah that’s what I was saying; there are no runs for any previous versions.


ok, I read it wrongly then :)

>Probably not given the lack of power on a pi.



real hw is anyway better because it can exclude qemu related bugs :)

>I’m aware of the sh syntax; the trouble is, the test suite doesn’t log 
>anything to a file like that example, so I would have to re-run the failed 
>tests manually, >or mess with the testing code itself.


mmm I was thinking about:
dh_auto_test || for i=1 to n do ./poly < Tests/Succeed/Test$$i.ML; done && exit 
1

what is printed here is visible on buildd logs, so you might have at least a 
clue to the test output

>Have you had a look at my other email which includes a short test program?


sure, answer already performed, but not sent
(I'm waiting the result of a build to hit enter :p)



cheers,

G.

-- 
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers

Reply via email to