From 5c2d577a218084fa405725e70b9295259a3049c3 Mon Sep 17 00:00:00 2001
From: Julian Elischer <julian@FreeBSD.org>
Date: Wed, 25 Nov 2009 19:00:30 +0000
Subject: [PATCH] exit if "make distribition" fails

Submitted by:	patrick tracanelli
MFC after:	1 week
---
 tools/tools/tinybsd/tinybsd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/tools/tinybsd/tinybsd b/tools/tools/tinybsd/tinybsd
index 0f333f7b5745..27216d4d2e3a 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() {