diff options
author | julian <julian@FreeBSD.org> | 2009-11-25 19:00:30 +0000 |
---|---|---|
committer | julian <julian@FreeBSD.org> | 2009-11-25 19:00:30 +0000 |
commit | bf4b9dad83a701b57717da855cd3e9d309f7474a (patch) | |
tree | b47b02e428122fdaa461bffd53d3e28464fa4690 /tools | |
parent | c847f4ac5e204a5153fd995dd7d76862e0546c74 (diff) | |
download | FreeBSD-src-bf4b9dad83a701b57717da855cd3e9d309f7474a.zip FreeBSD-src-bf4b9dad83a701b57717da855cd3e9d309f7474a.tar.gz |
exit if "make distribition" fails
Submitted by: patrick tracanelli
MFC after: 1 week
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/tools/tinybsd/tinybsd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/tools/tinybsd/tinybsd b/tools/tools/tinybsd/tinybsd index 0f333f7..27216d4 100755 --- a/tools/tools/tinybsd/tinybsd +++ b/tools/tools/tinybsd/tinybsd @@ -393,7 +393,7 @@ create_etc() { cd /usr/src/etc/ mkdir -p ${WORKDIR}/var/named/etc/namedb - make distribution DESTDIR=${WORKDIR} + make distribution DESTDIR=${WORKDIR} || exit 1 } create_ssh_keys() { |