#!/bin/sh
exec /bin/make TOP=../ -f ../CONFIG.make -f Makefile ${1+"$@"}
