diff options
| author | Joerg Wunsch <joerg@FreeBSD.org> | 1997-03-15 19:51:16 +0000 |
|---|---|---|
| committer | Joerg Wunsch <joerg@FreeBSD.org> | 1997-03-15 19:51:16 +0000 |
| commit | 37ca025a35ff52a4e5b002a5c2c0fc4adcaf02d4 (patch) | |
| tree | 1994ed1675d645daf14dd95f03a85eb50b7e18ba /release | |
| parent | 6ae8358759dd5a97a959e36fcccee412b9ad8a51 (diff) | |
Notes
Diffstat (limited to 'release')
| -rw-r--r-- | release/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/release/Makefile b/release/Makefile index 2e2dffbc7b2e..bd888542fd04 100644 --- a/release/Makefile +++ b/release/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.285 1997/03/12 18:09:15 joerg Exp $ +# $Id: Makefile,v 1.286 1997/03/14 08:21:09 joerg Exp $ # # How to roll a release: # @@ -132,6 +132,10 @@ rerelease release: echo "set -ex" >> ${CHROOTDIR}/mk echo "CFLAGS='-O2 -pipe'" >> ${CHROOTDIR}/mk echo "export CFLAGS" >> ${CHROOTDIR}/mk + echo "export RELEASETAG=${RELEASETAG}" >> ${CHROOTDIR}/mk +.if defined(NO_PORTS) + echo "export NO_PORTS=${NO_PORTS}" >> ${CHROOTDIR}/mk +.endif # Don't remove this, or the build will fall over! echo "export RELEASEDIR=/R" >> ${CHROOTDIR}/mk echo "cd /usr/src" >> ${CHROOTDIR}/mk |