[m-dev.] trivial diff: scripts/Mmake.rules: use {...} instead of (...)

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Oct 26 00:26:20 AEST 1999


Estimated hours taken: 0.1

scripts/Mmake.rules:
	Minor efficiency improvment in the rules for *.install and
	*.install_grades: use `{ ...; }' rather than `( ... )', to
	avoid creating unnecessary processes.

Workspace: /home/mercury0/fjh/mercury
Index: scripts/Mmake.rules
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/Mmake.rules,v
retrieving revision 1.72
diff -u -d -r1.72 Mmake.rules
--- Mmake.rules	1999/10/21 14:36:33	1.72
+++ Mmake.rules	1999/10/25 14:23:14
@@ -331,13 +331,13 @@
 
 .PHONY: lib%.install
 lib%.install: lib%.install_ints lib%.install_init lib%.install_library
-	$(MMAKE) lib$*.install_grades || ( mercury_cleanup_install && exit 1 )
+	$(MMAKE) lib$*.install_grades || { mercury_cleanup_install && exit 1; }
 
 .PHONY: lib%.install_split
 lib%.install_split: lib%.install_ints lib%.install_init \
 		lib%.install_split_library
 	$(MMAKE) lib$*.install_split_grades || \
-			( mercury_cleanup_install && exit 1 )
+			{ mercury_cleanup_install && exit 1; }
 
 .PHONY: lib%.install_init
 lib%.install_init: %.init install_lib_dirs

-- 
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
--------------------------------------------------------------------------



More information about the developers mailing list