Hi Lucas, Thanks a lot for the quick reply and precise information.
[...] > > The fact that it blocks is reproducible. > > Output on the terminal: > % ppl_prolog_generated_test_main.pl compiled 0.18 sec, 2,099,112 bytes > % ./swi_prolog_generated_test compiled 0.18 sec, 2,104,128 bytes > true. > > true. > > > % halt > if [ . != `pwd` ]; then \ > rm -f ppl_prolog_generated_test_common.pl; \ > fi > rm -f ppl_prolog_generated_test_main.pl; \ > diff -u --ignore-all-space ./../tests/expected_pgt obtained_pgt > > > However, it's not diff that is blocking, it's ppl_pl. It's eating all the > available memory and causes swapping. I've attached the output of ps. > the status of the process is: [...] I'll see what I can do about this, I just wonder why it didn't happen on other hosts. But we'll see... Thanks again, Michael
pgpYX5eGSn9lk.pgp
Description: PGP signature
