[m-dev.] diff: more w3 fixes for missing dirs

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.25

w3/Makefile.common:
    Handle missing directories more gracefully.

Index: Makefile.common
===================================================================
RCS file: /home/staff/zs/imp/w3/Makefile.common,v
retrieving revision 1.10
diff -u -r1.10 Makefile.common
--- Makefile.common	1999/12/06 03:04:22	1.10
+++ Makefile.common	1999/12/06 03:33:37
@@ -24,7 +24,9 @@
 ifdef DIRS
 	for dir in $(DIRS); 				\
 	do 						\
-		(cd $$dir && $(MAKE) html); 		\
+		if [ -d $$dir ]; then			\
+			(cd $$dir && $(MAKE) html);	\
+		fi					\
 	done
 endif
 
@@ -33,7 +35,9 @@
 ifdef DIRS
 	for dir in $(DIRS); 				\
 	do 						\
-		(cd $$dir && $(MAKE) all); 		\
+		if [ -d $$dir ]; then			\
+			(cd $$dir && $(MAKE) all);	\
+		fi					\
 	done
 endif
 

----
 +----------------------------------------------------------------------+
 | Peter Ross      M Sci/Eng Melbourne Uni                              |
 | petdr at cs.mu.oz.au  WWW: www.cs.mu.oz.au/~petdr/ ph: +61 3 9344 9158  |
 +----------------------------------------------------------------------+
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------