]> Zhao Yanbai Git Server - minix.git/commitdiff
Fail when make in a subdirectory fails.
authorPhilip Homburg <philip@cs.vu.nl>
Fri, 27 Jan 2006 14:14:51 +0000 (14:14 +0000)
committerPhilip Homburg <philip@cs.vu.nl>
Fri, 27 Jan 2006 14:14:51 +0000 (14:14 +0000)
commands/Makefile

index 68fd8df94af8216116344df3bb87e29ea1f8aa12..c9bc07c8f0a054d7ca76af5e3916cd12b991f2a8 100755 (executable)
@@ -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