[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