#!/bin/bash

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