#! /bin/sh
set -e

# nothing to do, skip grub mkconfig for this