[m-rev.] diff: gdbrun

[Zoltan Somogyi]

tools/gdbrun:
	Do not tell gdb to run the program immediately. Instead, just tell it
	what command line arguments it should eventually be run with. This
	allows the user to issue some commands (e.g. to place breakpoints)
	before running the program.

Zoltan.

cvs diff: Diffing .
Index: gdbrun
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/gdbrun,v
retrieving revision 1.3
diff -u -b -r1.3 gdbrun
--- gdbrun	8 May 2001 07:15:10 -0000	1.3
+++ gdbrun	30 Apr 2003 07:43:41 -0000
@@ -28,7 +28,7 @@
 	*)	runargs="$runargs $arg" ;;
 	esac
 done
-echo "run$runargs" > "$tmpfile"
+echo "set args $runargs" > "$tmpfile"
 
 echo gdb --command="$tmpfile" $program
 gdb --command="$tmpfile" $program
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------