[project @ 1997-10-13 10:32:58 by simonm]
authorsimonm <unknown>
Mon, 13 Oct 1997 10:32:58 +0000 (10:32 +0000)
committersimonm <unknown>
Mon, 13 Oct 1997 10:32:58 +0000 (10:32 +0000)
replace a few ';' with '&&' so that failures in for-loops bomb out
properly.

Makefile

index 49a2df8..39a3372 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -72,10 +72,10 @@ binary-dist ::
        @for way in $(BINDIST_DOCS_WAYS); do \
           $(MKDIRHIER) $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way/$(GhcProjectNameShort)-$(GhcProjectVersion); \
           for dir in $(BINDIST_DOCS); do \
-            echo Making $$way documentation in $$dir; \
-            $(MAKE) -C $$dir --no-print-directory $(MFLAGS) $$way; \
-            echo cp -f $$dir/*.$$way $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way/$(GhcProjectNameShort)-$(GhcProjectVersion); \
-            cp -f $$dir/*.$$way $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way/$(GhcProjectNameShort)-$(GhcProjectVersion); \
+            echo Making $$way documentation in $$dir && \
+            $(MAKE) -C $$dir --no-print-directory $(MFLAGS) $$way && \
+            echo cp -f $$dir/*.$$way $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way/$(GhcProjectNameShort)-$(GhcProjectVersion) && \
+            cp -f $$dir/*.$$way $(BIN_DIST_TMPDIR)/$(BIN_DIST_NAME)/$$way/$(GhcProjectNameShort)-$(GhcProjectVersion) && \
             echo "Done."; \
           done; \
        done