[m-rev.] for review: erroneous library installs

[Zoltan Somogyi]

For review by anyone.

library/Mmakefile:
	Return an error status for attempts to install things without
	LIBRARY_INTERMODULE=yes.

Zoltan.

cvs diff: Diffing .
Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/library/Mmakefile,v
retrieving revision 1.59
diff -u -b -r1.59 Mmakefile
--- Mmakefile	2001/03/16 01:40:38	1.59
+++ Mmakefile	2001/04/20 05:03:30
@@ -374,34 +374,42 @@
 .PHONY: install
 install:
 	echo "Can't do make install without LIBRARY_INTERMODULE=yes"
+	exit 1
 
 .PHONY: install_all
 install_all:
 	echo "Can't do make install without LIBRARY_INTERMODULE=yes"
+	exit 1
 
 .PHONY: install_mercury
 install_mercury:
 	echo "Can't do make install without LIBRARY_INTERMODULE=yes"
+	exit 1
 
 .PHONY: install_ints
 install_ints:
 	echo "Can't do make install without LIBRARY_INTERMODULE=yes"
+	exit 1
 
 .PHONY: install_hdrs
 install_hdrs:
 	echo "Can't do make install without LIBRARY_INTERMODULE=yes"
+	exit 1
 
 .PHONY: install_init
 install_init:
 	echo "Can't do make install without LIBRARY_INTERMODULE=yes"
+	exit 1
 
 .PHONY: install_library
 install_library:
 	echo "Can't do make install without LIBRARY_INTERMODULE=yes"
+	exit 1
 
 .PHONY: install_split_library
 install_split_library:
 	echo "Can't do make install without LIBRARY_INTERMODULE=yes"
+	exit 1
 
 endif
 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------