diff options
| -rw-r--r-- | release/Makefile | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/release/Makefile b/release/Makefile index c880310..4610689 100644 --- a/release/Makefile +++ b/release/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.307 1997/06/23 01:49:35 jkh Exp $ +# $Id: Makefile,v 1.308 1997/06/24 23:08:18 jkh Exp $ # # make release CHROOTDIR=/some/dir BUILDNAME=somename [ RELEASETAG=tag ] # @@ -181,15 +181,18 @@ rerelease release: .if defined(NOPORTS) echo "export NOPORTS=${NOPORTS}" >> ${CHROOTDIR}/mk .endif -.if defined(BOOT_CONFIG) - echo "export BOOT_CONFIG=\"${BOOT_CONFIG}\"">> ${CHROOTDIR}/mk -.endif .if defined(NODOC) echo "export NODOC=${NODOC}" >> ${CHROOTDIR}/mk .endif .if defined(NOSRC) echo "export NOSRC=${NOSRC}" >> ${CHROOTDIR}/mk .endif +.if defined(NOSHARED) + echo "export NOSHARED=${NOSHARED}" >> ${CHROOTDIR}/mk +.endif +.if defined(BOOT_CONFIG) + echo "export BOOT_CONFIG=\"${BOOT_CONFIG}\"">> ${CHROOTDIR}/mk +.endif # Don't remove this, or the build will fall over! echo "export RELEASEDIR=/R" >> ${CHROOTDIR}/mk echo "export PATH=${BOOTSTRAPDIR}:$${PATH}" >> ${CHROOTDIR}/mk |
