add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

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'