[m-rev.] diff: fix --resume dd option

[Ian MacLarty]

Estimated hours taken: 0.1
Branches: main

Fix --resume dd option.  The long version of this option expected an argument
which it shouldn't have.

tests/debugger/declarative/resume.exp:
tests/debugger/declarative/resume.inp:
	Test the long option.

trace/mercury_trace_internal.c:
	Do not require an argument with the long option.

Index: tests/debugger/declarative/resume.exp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/resume.exp,v
retrieving revision 1.4
diff -u -r1.4 resume.exp
--- tests/debugger/declarative/resume.exp	20 May 2005 05:40:29 -0000	1.4
+++ tests/debugger/declarative/resume.exp	29 Jul 2005 03:36:42 -0000
@@ -15,7 +15,7 @@
 l([4, 5]) = 5
 Valid? pd
       E3:     C2 EXIT func resume.l/1-0 (semidet)
-mdb> dd -d 3 -n 7 -r
+mdb> dd -d 3 -n 7 --resume
 l([4, 5]) = 5
 Valid? y
 l([3, 4, 5]) = 5
Index: tests/debugger/declarative/resume.inp
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/declarative/resume.inp,v
retrieving revision 1.4
diff -u -r1.4 resume.inp
--- tests/debugger/declarative/resume.inp	20 May 2005 05:40:29 -0000	1.4
+++ tests/debugger/declarative/resume.inp	29 Jul 2005 03:35:14 -0000
@@ -7,7 +7,7 @@
 f
 dd -d 3 -n 7
 pd
-dd -d 3 -n 7 -r
+dd -d 3 -n 7 --resume
 y
 pd
 break wrapper
Index: trace/mercury_trace_internal.c
===================================================================
RCS file: /home/mercury1/repository/mercury/trace/mercury_trace_internal.c,v
retrieving revision 1.207
diff -u -r1.207 mercury_trace_internal.c
--- trace/mercury_trace_internal.c	11 Jul 2005 07:30:30 -0000	1.207
+++ trace/mercury_trace_internal.c	31 Jul 2005 05:07:43 -0000
@@ -7127,7 +7127,7 @@
     { "depth",                      MR_required_argument,   NULL,   'd' },
     { "nodes",                      MR_required_argument,   NULL,   'n' },
     { "search-mode",                MR_required_argument,   NULL,   's' },
-    { "resume",                     MR_required_argument,   NULL,   'r' },
+    { "resume",                     MR_no_argument,         NULL,   'r' },
     { NULL,                         MR_no_argument,         NULL,   0 }
 };


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