
On 02/06/13 15:17, Matthias Klose wrote:
Am 31.01.2013 10:11, schrieb Roberto Bagnara:
On 01/31/13 00:01, Matthias Klose wrote:
Am 30.01.2013 01:17, schrieb Matthias Klose:
[CCing the debian s390 porters]
Am 29.01.2013 09:32, schrieb Roberto Bagnara:
I just hit the wrong button on the administrative interface of the ppl-devel mailing list. So the message has gone forever before I could read it. Please resend it to the list and accept my apologies. Kind regards,
P.S. This is the failure, right?
https://buildd.debian.org/fetch.cgi?pkg=ppl&arch=s390x&ver=1.0-1&...
yes, and the one for s390.
and apparently on sparc too.
This patch should fix them all:
http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3822e9ecd0783...
Please let us know how it goes. PPL 1.1 will of course contain the fix and should be released in a couple of months.
seems to work, however there is now a test failure on s390x
/bin/bash: line 5: 15154 Segmentation fault ${dir}$tst FAIL: memory2 [...] ====================================== 1 of 203 tests failed Please report to ppl-devel@cs.unipr.it ====================================== make[4]: *** [check-TESTS] Error 1 make[4]: Leaving directory `/build/buildd-ppl_1.0-3-s390x-TUIydR/ppl-1.0/tests/Polyhedron' make[3]: *** [check-am] Error 2
Yes, we noticed. Would it be possible to have temporary access to an s390x machine in order to run a gdb session?