#! /bin/sh

CONFIG=${1-config/urt}
DEPTH=${2-}
HERE=${3-}
MFLAGS=${4-}

( 	echo DEPTH = ${DEPTH} ;
	echo CONFIG = ${CONFIG} ;
	echo HERE = ${HERE} ;
	cat ${CONFIG} ${DEPTH}makefile.hdr makefile.src ${DEPTH}makefile.tlr
) | awk -f ${DEPTH}makedef.awk >makefile

make post-config
make config-subdirs DEPTH=../${DEPTH} CONFIG=../${CONFIG} HERE=${HERE} \
		MFLAGS=${MFLAGS}