add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

1
2
3
4
5
6
7
8
#!/bin/sh

# SPDX-License-Identifier: GPL-2.0

n=`./default_file_splice_read </dev/null | wc -c`

 

test "$n" = 0 && exit 0

 

echo "default_file_splice_read broken: leaked $n"

exit 1