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