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