#!/bin/sh
make -f ../config -f Make $*
