#!/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