#!/bin/bash

make -C $(dirname $0) run RUNFLAGS="$*"