checkall-personal.sh 492 B

12345678910111213141516
  1. #! /bin/sh
  2. # check log files for all modules
  3. # main log files go in log/*.rlg
  4. # reference logs are in tests/*.rlg
  5. ./r38 -Dno_init_file util/checkall.red -- log/checkall.log
  6. echo "log/checkall.log" is the main comparison log. A number of
  7. echo least-significant-digit numerical differences shown there are
  8. echo expected and do not represent problems.
  9. echo "log/times.log" gives a summary of the performance on your machine
  10. echo compared with a reference system which is an Athlon-64 3200+