[m-dev.] diff: overridable LINK in ml.in

[Peter Ross]

Hi,


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


Estimated hours taken: 0.1

scripts/ml.in:
    Apply suggestion of fjh and allow LINK environment variable to be
    overidden by the user.


Index: ml.in
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/ml.in,v
retrieving revision 1.80
diff -u -r1.80 ml.in
--- ml.in	2000/08/25 14:19:35	1.80
+++ ml.in	2000/08/31 14:44:53
@@ -38,7 +38,7 @@
 # compiler, the default maximum stack size of 4Mb is too low for a
 # recursive language.
 # XXX at some stage this should become an option to ml
-LINK=/stack:10485760	# 10 Mb
+LINK=${LINK=/stack:10485760}   # 10 Mb
 export LINK
 
 # On some systems (Solaris for exemple), we need libraries to be able to 

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