disabled kernel warning

hc

2023-02-14 9c26bd2fb3d1b04cfe748cd7a8d8883feff5250f

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