#!/usr/bin/env bash ## args if [ $# -ge 1 ] ; then arg1=$1 && shift ; else arg1="" ; fi ## exec targets="" targets="${targets} build/espe" if [ ${arg1} == "-t" ] ; then targets="${targets} test" ; fi make --file=tools/makefile ${targets}