home *** CD-ROM | disk | FTP | other *** search
- #! /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}
-