#!/bin/bash
#
# simple wrapper around make
#

exec make "$@"
