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


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