testslow 220 B

12345678910
  1. #!/bin/sh
  2. # test all modules but using the bootstrap (slow) version of REDUCE
  3. # main log files go in ../../../log/*.rlg
  4. ./slowr37 -v ../util/testall.red -Dno_init_file -Dwhich_module=$1 -- log/testslow.log