mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 01:43:35 +00:00
cdc56d5fa4
Estimated hours taken: 2 Change the initialization sequence of the debugger to match more people's expectations: it now reads, in order: the file named by the MERCURY_DEBUGGER_INIT environment variable ~/.mdbrc .mdbrc The first should exist; the others need not. Note that since ~/.mdbrc is always sourced if it exists, you cannot put anything in your ~/.mdbrc that interferes with the test cases in the tests/debugger directory if you want your bootchecks to work. doc/user_guide.texi: Document the initialization sequence. This completes the debugger invocation section. scripts/mdb.in: Set up MERCURY_DEBUGGER_INIT before invoking the executable being debugged. trace/mercury_trace_internal.c: Change to the above initialization sequence.