[project @ 2002-05-01 13:11:24 by simonmar]

Do 'make boot' then 'make all' as separate steps (fixes problem with
parallel make).

diff --git a/Makefile b/Makefile
index e5b2eb7..97717f4 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -331,7 +331,8 @@ all ::
        @case '${MFLAGS}' in *-[ik]*) x_on_err=0;; *-r*[ik]*) x_on_err=0;; *) x_on_err=1;; esac; \
        for i in $(SUBDIRS); do \
           if [ -d $$i ]; then \
-             $(MAKE) -C $$i boot all; \
+             $(MAKE) -C $$i boot; \
+             $(MAKE) -C $$i all; \
              if [ $$? -eq 0 -o $$x_on_err -eq 0 ] ;  then true; else exit 1; fi; \
              fi; \
        done