I'll try different systems ..The script failed with:
$ ./t.sh > freeze.out /bin/sh: line 1: sleep: No such file or directory make: *** [12.pp] Error 127 make: *** Waiting for unfinished jobs.... Failed after 1499 runs
I ran a variation of the above for three days without fail so I think I can safely say that I can't reproduce this problem.
And, by the way: http://cygwin.com/ml/cygwin/2004-02/msg00923.html
and also produce some statistics. The problem is that I tried every snapshot since 1.5.7, (unfortunately not all mentioned in this thread) and I didn't find one that works without freezing or erroring out.
I'll produce some statistics, but each run takes a while ...
Volker
-- PGP/GPG key (ID: 0x9F8A785D) available from wwwkeys.de.pgp.net key-fingerprint 550D F17E B082 A3E9 F913 9E53 3D35 C9BA 9F8A 785D
pgp00000.pgp
Description: PGP signature