add REDIRECT

hc

2024-10-09 05e59e5fb0064c97a1c10921ecd549f2d4a58565

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