Make sure that script terminates if a make fails.

1 files changed, 8 insertions, 9 deletions

diff --git a/bit b/bit
index 8dc20ab..4be5df0 100755
--- a/bit
+++ b/bit
@@ -13,15 +13,14 @@ PACKAGES="avl-1.4.0 ncurses-5.3 readline-4.3 libtecla-1.4.1"
 
 for p in $PACKAGES
 do
-	(
-        cd $p
-        makefile="../RTEMS_Makefiles/Makefile.$p"
-        if [ \! -r "$makefile" ]
-        then
-            makefile="`echo $makefile | sed -e '/-.*/s///'`"
-        fi
-        make -w -f "$makefile"
-    )
+    cd $p
+    makefile="../RTEMS_Makefiles/Makefile.$p"
+    if [ \! -r "$makefile" ]
+    then
+        makefile="`echo $makefile | sed -e '/-.*/s///'`"
+    fi
+    make -w -f "$makefile"
+    cd ..
 done
 
 for p in $PACKAGES