[m-rev.] for review: pipe expected output through command

[Peter Moulder]

On Fri, Nov 22, 2002 at 05:12:45PM +0100, Peter Ross wrote:

> -	@{ diff $(DIFF_OPTS) $*.exp $*.out > $*.res1 && \
> +	@{ $(CAT) < $*.exp | diff $(DIFF_OPTS) - $*.out > $*.res1 && \

One difference introduced is that any error from $(CAT) < $*.exp will be
ignored.  I suggest that a sufficient fix is to add `2>&1' for each
$(CAT) command, which should cause diff to find a difference (and hence
exit 1).

pjm.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------