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