diff --git a/archive/build.sh b/archive/build.sh index a26a8fc..61da239 100755 --- a/archive/build.sh +++ b/archive/build.sh @@ -1,3 +1,5 @@ +set -e + for d in */ ; do make -C "$d" done