del userdata part

hc

2023-03-07 b7c0d7ef5080a876d1e2a044d0a51dcb0e0bcf1e

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'