[m-rev.] diff: work around mundroo /bin/sh bug

[Simon Taylor]

Estimated hours taken: 0.25
Branches: main, release

scripts/mmc:
	Use `DEFAULT_MCFLAGS=${DEFAULT_MCFLAGS-...}' rather than
	`DEFAULT_MCFLAGS=${DEFAULT_MCFLAGS=...}'. The latter form
	causes /bin/sh on mundroo (Solaris/x86 2.8) to crash when
	the RHS of the assignment is very long.

Index: mmc.in
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/mmc.in,v
retrieving revision 1.26
diff -u -u -r1.26 mmc.in
--- mmc.in	5 Jul 2002 13:51:06 -0000	1.26
+++ mmc.in	8 Aug 2002 06:07:40 -0000
@@ -33,7 +33,7 @@
 #
 # The default optimization level should be after
 # all the options that describe the machine configuration.
-DEFAULT_MCFLAGS=${DEFAULT_MCFLAGS="\
+DEFAULT_MCFLAGS=${DEFAULT_MCFLAGS-"\
 		$MERCURY_ALL_MC_C_INCL_DIRS \
 		--cc \"${MERCURY_C_COMPILER=@CC@}\" \
 		--grade \"${MERCURY_DEFAULT_GRADE=@DEFAULT_GRADE@}\" \
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------