[m-rev.] diff: using `exec' in tools/lmc

Fergus Henderson fjh at cs.mu.OZ.AU
Mon May 13 19:15:49 AEST 2002


Estimated hours taken: 0.5 (times four: fjh,zs,stayl,rafe)
Branches: main

tools/lmc:
	Invoke mmc using `exec'.  This avoids a problem which showed
	up when using `mdb', where lmc would not resume correctly when
	suspended (using control-Z) and then resumed (using `fg').

	Note that for the fix to work, you may also need to make similar
	modifications to any scripts you have that invoke tools/lmc.

Workspace: /home/ceres/fjh/mercury
Index: tools/lmc
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/lmc,v
retrieving revision 1.6
diff -u -d -r1.6 lmc
--- tools/lmc	23 Apr 2002 10:37:18 -0000	1.6
+++ tools/lmc	13 May 2002 09:15:26 -0000
@@ -16,7 +16,7 @@
 # #!/bin/sh
 # WORKSPACE=$HOME/mer/ws1
 # export WORKSPACE
-# $WORKSPACE/tools/lmc "$@"
+# exec $WORKSPACE/tools/lmc "$@"
 #
 # If you want to track down some C level bug, you can ask this script to
 # pass -g to the C compiler and to the linker by setting the environment
@@ -67,4 +67,4 @@
 
 PATH="$WORKSPACE/scripts:$WORKSPACE/util:$PATH"
 export PATH
-mmc --no-mercury-stdlib-dir -I $WORKSPACE/library $CDEBUG_FLAGS $C_FLAGS $INIT_FLAGS $LIB_FLAGS "$@"
+exec mmc --no-mercury-stdlib-dir -I $WORKSPACE/library $CDEBUG_FLAGS $C_FLAGS $INIT_FLAGS $LIB_FLAGS "$@"
-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list