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