File r38/util/chckall1.bat artifact 5d5122181f part of check-in 72f75b2f9c


echo Checking %1 ... >> %reduce%\log\checkall.log
%dif% %reduce%\log\%1.rlg %reduce%\xlog\%1.log >> %reduce%\log\checkall.log


REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]