#!/bin/bash

set -e

# If grub.cfg has been generated, update it.
if test -e /boot/grub/grub.cfg ; then
   /usr/sbin/update-grub
fi

#DEBHELPER#
