hc
2023-11-06 36f0949ef9854b82a9a3154d970da4e3b8d12a61
1
2
3
4
5
#!/bin/sh
make -k runtest-PTEST | sed -e '/: passed/ s/^/PASS: /g' \
           -e '/: TEST FAILED.*/ s/^/FAIL: /g' \
           -e 's/: passed//g' \
           -e 's/: TEST FAILED.*//g'