#!/bin/bash
set -eu -o pipefail ${SHELLFLAGS}
python --version
make -C $(dirname $0) run RUNFLAGS="$*"