diff options
| author | joerg <joerg@FreeBSD.org> | 1996-11-03 14:39:18 +0000 |
|---|---|---|
| committer | joerg <joerg@FreeBSD.org> | 1996-11-03 14:39:18 +0000 |
| commit | 23653336af7a10366ecf2876b34258d78fb00c65 (patch) | |
| tree | ff9c17501fa76a14740d851f7e50b24af02b857c /release | |
| parent | c8eaf0b8b6882f546be756b1c71f9929f6c0ebb7 (diff) | |
| download | FreeBSD-src-23653336af7a10366ecf2876b34258d78fb00c65.zip FreeBSD-src-23653336af7a10366ecf2876b34258d78fb00c65.tar.gz | |
Make `make release' fail if crunchgen failed.
Diffstat (limited to 'release')
| -rw-r--r-- | release/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/release/Makefile b/release/Makefile index de71767..400a584 100644 --- a/release/Makefile +++ b/release/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.247 1996/11/02 18:58:07 jkh Exp $ +# $Id: Makefile,v 1.248 1996/11/03 08:52:31 joerg Exp $ # # How to roll a release: # @@ -211,7 +211,7 @@ release.4: ${MAKE} -f $${j}_crunch.mk all NOCRYPT=yes \ "CFLAGS=${CFLAGS} -DCRUNCHED_BINARY") && \ mv $${j}_crunch/$${j}_crunch ${RD}/crunch/$${j} && \ - true || rm -rf $${j}_crunch ; \ + true || { rm -rf $${j}_crunch ; false ; } ; \ done touch release.4 |
