#!/bin/sh set -e for i in info program monitor; do make -B "$@" $i done