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