4 # grub-script-check refuses to pass a file with no commands; this usually
5 # indicates a bug in the code generating that file.
7 @builddir@/grub-script-check <<EOF && exit 1
11 @builddir@/grub-script-check <<EOF && exit 1
15 @builddir@/grub-script-check <<EOF && exit 1