#! /bin/sh
set -e
exec grub-mkconfig -o /boot/grub/grub.cfg "$@" 
