#!/bin/bash

set -e

ROOT=`realpath $(dirname $0)/../..`
pushd $ROOT
make
popd
