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