[m-dev.] trivial diff: fix typo in scripts.in

[Fergus Henderson]

For both main and release branches.

Estimated hours taken: 0.25

scripts/ml.in:
	Fix a bug: s/allow_undefined/allow_undef/,
	to match the variable name used elsewhere in this script.

Workspace: /home/hg/fjh/mercury
Index: scripts/ml.in
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/ml.in,v
retrieving revision 1.89
diff -u -d -r1.89 ml.in
--- scripts/ml.in	2000/12/18 07:17:44	1.89
+++ scripts/ml.in	2001/02/11 04:26:56
@@ -83,7 +83,7 @@
 BROWSER_LIB_NAME=mer_browser
 
 verbose=false
-allow_undefined=false
+allow_undef=false
 trace=false
 readline=true
 case $FULLARCH in

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- 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
--------------------------------------------------------------------------