#!/bin/sh
set -e
BUILDROOT=buildroot-2018.08
# Force rebuild of Linux kernel
make -C $BUILDROOT linux-dirclean
./build-berryboot.sh "$@"