#! /bin/sh

M_TYPE=${1-src}
TOPDIR=${2-`pwd`}
HERE=${3-}
MFLAGS=${4-}

# M_TYPE = name of machine specific configuration file
# TOPDIR = location of top level directory (see makefile.awk for desciption )
# HERE =  used to keep track of current directory
# MFLAGS = any standard 'make' arguements you may want to use 

( 	echo TOPDIR = ${TOPDIR} ;
	echo CONFIG = config.${M_TYPE} ;
	echo HERE = ${HERE} ;
	echo CCS_ROOT = ${TOPDIR} ;
	cat ${TOPDIR}/config.${M_TYPE} ${TOPDIR}/makefile.hdr makefile.src ${TOPDIR}/makefile.tlr
) > Makefile

make config-subdirs TOPDIR=${TOPDIR} CONFIG=${M_TYPE} HERE=${HERE} \
                MFLAGS=${MFLAGS}
