-
Robert Goldman authored
This seems to have the side-effect on Windows (cygwin) of making "make clean" terminate, instead of hanging. Since hanging on clean can cause bad failures, I'm committing this, even though I don't have a theory about why it improves things.
fcdb823b