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