#!/bin/sh
set -e
if [ "$1" != "upgrade" ]; then update-grub; fi