File r38/util/chckall1.bat from the latest check-in
echo Checking %1 ... >> %reduce%\log\checkall.log %dif% %reduce%\log\%1.rlg %reduce%\xlog\%1.log >> %reduce%\log\checkall.log
echo Checking %1 ... >> %reduce%\log\checkall.log %dif% %reduce%\log\%1.rlg %reduce%\xlog\%1.log >> %reduce%\log\checkall.log