Artifact 16fff82ec3f5b315b62b589a3d68b0d31a0dd968164f8f518e48cb604cebcbd8:


#! /bin/sh

# test all modules

# main log files go in log/*.rlg

./r38 -v util/testall.red -Dno_init_file -Dwhich_module=$1 -- log/testall.log

echo "log/testall.log" is main output
echo See log/*.rlg for individual logs.
echo You can now run checkall.sh to check results.


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