[m-dev.] diff: some makefile fixes for the web site.

[Fergus Henderson]

On 17-Jun-1999, Peter Ross <petdr at cs.mu.OZ.AU> wrote:
> +++ Makefile.common	1999/06/17 08:38:45
> @@ -24,7 +24,7 @@
>  ifdef DIRS
>  	for dir in $(DIRS); 				\
>  	do 						\
> -		(cd $$dir; $(MAKE) html); 		\
> +		(cd $$dir && $(MAKE) html); 		\
>  	done
>  endif

It might be a good idea to change that to either

	status=0;					\
  	for dir in $(DIRS); do				\
		(cd $$dir && $(MAKE) html) || status=1; \
	done;						\
	exit $status

or
  	for dir in $(DIRS); do				\
		(cd $$dir && $(MAKE) html) || exit 1;	\
	done;						\

so that the top-level make exits with the right status if
one of the sub-directory makes fails.

Cheers,
	Fergus.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------