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