• Robert Goldman's avatar
    Make "make clean" more chatty. · fcdb823b
    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.