From: Philip Homburg <philip@cs.vu.nl>
Date: Fri, 27 Jan 2006 14:14:51 +0000 (+0000)
Subject: Fail when make in a subdirectory fails.
X-Git-Tag: v3.1.2a~402
X-Git-Url: http://zhaoyanbai.com/repos/man.dnssec-checkds.html?a=commitdiff_plain;h=3ef1d71b753e20c2bc964a166a768ef80658c1de;p=minix.git

Fail when make in a subdirectory fails.
---

diff --git a/commands/Makefile b/commands/Makefile
index 68fd8df94..c9bc07c8f 100755
--- a/commands/Makefile
+++ b/commands/Makefile
@@ -77,8 +77,8 @@ clean::
 	for p in $(SMALLPROGRAMS); do ( cd $$p && make clean ); done
 
 small::
-	for p in $(SMALLPROGRAMS); do ( cd $$p && make all ); done
+	set -e; for p in $(SMALLPROGRAMS); do ( cd $$p && make all ); done
 
 smallinstall::
-	for p in $(SMALLPROGRAMS); do ( cd $$p && make install ); done
+	set -e; for p in $(SMALLPROGRAMS); do ( cd $$p && make install ); done