#! @BUILD_SHEBANG@ set -e # grub-script-check refuses to pass a file with no commands; this usually # indicates a bug in the code generating that file. @builddir@/grub-script-check <