K 10 svn:author V 3 nox K 8 svn:date V 27 2010-10-22T19:07:24.000000Z K 7 svn:log V 85 Fix a make -j race. (At least this time the bug was upstream...) Submitted by: QAT END