Artifact 29926146b91cc1d5ae749fae91d58f12b04aa9b68a283bb47d48ff4fa9237c40:


#!/bin/sh

# test all modules whose log files are not already up to date

# main log files go in ../../../log/*.rlg

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




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