post-image.sh 183 B

1234567
  1. #!/bin/sh
  2. set -eu
  3. BOARD_DIR=$(dirname "$0")
  4. # Override the default GRUB configuration file with our own.
  5. cp -vf "${BOARD_DIR}/grub.cfg" "${BINARIES_DIR}/efi-part/EFI/BOOT/grub.cfg"