testall-personal.sh 274 B

123456789101112
  1. #! /bin/sh
  2. # test all modules
  3. # main log files go in log/*.rlg
  4. ./r38 -v util/testall.red -Dno_init_file -Dwhich_module=$1 -- log/testall.log
  5. echo "log/testall.log" is main output
  6. echo See log/*.rlg for individual logs.
  7. echo You can now run checkall.sh to check results.