From eedbbe40d1d4135d71c08e02c453c405dd7ddebd Mon Sep 17 00:00:00 2001 From: Ruslan Ermilov Date: Fri, 4 Jul 2003 14:39:17 +0000 Subject: [PATCH] Fixed the last-minute bug I made in previous commit. --- release/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/release/Makefile b/release/Makefile index d19cfb90b02..b0360dbe294 100644 --- a/release/Makefile +++ b/release/Makefile @@ -567,7 +567,7 @@ release.5: cd ${j}_crunch; ${WMAKEENV} crunchgen -o ${.CURDIR}/${j}_crunch.conf .endif cd ${j}_crunch; ${WMAKE} -f ${j}_crunch.mk subclean - cd ${.CURDIR}/..; ${BINMAKE} _build-tools + cd ${.CURDIR}/..; ${BINMAKE} -f Makefile.inc1 _build-tools cd ${j}_crunch; ${WMAKE} -f ${j}_crunch.mk \ CFLAGS="-Os -pipe" -DNO_CPU_CFLAGS all ${WMAKEENV} strip -R .comment ${j}_crunch/${j}_crunch