#!/bin/sh
set -e
exec update-grub "$@"
