change system file

hc

2024-10-09 244b2c5ca8b14627e4a17755e5922221e121c771

1
2
3
4
5
#!/bin/sh
 
./testing/run_test.sh ./testing/case*.pat |sed \
  -e 's|** ok|PASS|' \
  -e 's|?? fail|FAIL|'