Artifact 79c6426a302a306207399bf4439eb95aac31cc27622d76a2261023e01d47f644:


#!/bin/sh

# check the log files for all modules

# main log files go in ../../../log/*.rlg,
# reference ones are in ../../../packages/XXX/XXX.rlg

./r37 -Dno_init_file ../util/checkall.red -Dwhich_module=$1 -- log/checkall.log




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