#!/bin/sh -e
export TARGET=$(mktemp -d)
export SOURCE_GRUBDIR=`pwd`/grub/
grub/build-binaries.sh
rm -rf $TARGET
echo "No problems building grub binaries."
