mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-08 18:34:00 +00:00
62dda38678
Estimated hours taken: 2
Branches: main
Make the mdb command "dump" give you a message confirming what it did.
trace/mercur_trace_cmd_browsing.c:
Make the mdb command "dump" give you a message confirming what it did,
unless the user gives the new -q or --quiet option.
doc/user_guide.texi:
Document the new option.
scripts/mdb_grep:
scripts/mdb_open:
Specify -q to keep old behavior.
tests/debugger/browser_test.{inp,exp,exp3}:
Update this test case to test the dump command both with and
without -q.
9 lines
334 B
Plaintext
9 lines
334 B
Plaintext
# This script saves a term to a file and then invokes grep on the file.
|
|
# It is useful for checking if a data structure contains a particular value.
|
|
# $1 is a regular expression to search for.
|
|
# $2 is any valid term reference accepted by the dump command.
|
|
#
|
|
dump -q $2 .mdb_grep_tmp
|
|
shell grep $1 .mdb_grep_tmp
|
|
shell rm .mdb_grep_tmp
|