[m-rev.] diff: gdbrun

Zoltan Somogyi zs at cs.mu.OZ.AU
Wed Apr 30 17:42:47 AEST 2003

	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.


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

More information about the reviews mailing list