del userdata part

hc

2023-03-07 b7c0d7ef5080a876d1e2a044d0a51dcb0e0bcf1e

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