#! /bin/sh

# Adds cmarrows when it is missing
MPINPUTS=.:../cmarrows: make "$@"