On 02/03/2014 12:13 PM, Tom Honermann wrote:
$ cat doit.sh
#!/bin/sh
while [ 1 ]; do
make || {
echo "make failed unexpectedly"
break
}
done
$ cat Makefile
all:
cl.exe /c t.cpp || (shopt -s nullglob && rm -f t.obj; exit 1)
$ cat t.cpp
int i;
I've been running five copies of the above test case in my environment
(64-bit Windows 7 Pro SP1 running in VMware on a Linux host on a 4 core
processor) all day. No luck reproducing so far.
Tom.
--
Problem reports: http://cygwin.com/problems.html
FAQ: http://cygwin.com/faq/
Documentation: http://cygwin.com/docs.html
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple