diff options
Diffstat (limited to 'open_issues/term_blocking.mdwn')
| -rw-r--r-- | open_issues/term_blocking.mdwn | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/open_issues/term_blocking.mdwn b/open_issues/term_blocking.mdwn index 5eea1570..19d18d0e 100644 --- a/open_issues/term_blocking.mdwn +++ b/open_issues/term_blocking.mdwn @@ -47,7 +47,7 @@ for the process using that terminal. Killed that `term` instance, and things were fine again. -All this reproducible happens while running the [[GDB testsuite]]. +All this reproducible happens while running the [[GDB testsuite|gdb]]. --- @@ -114,6 +114,9 @@ started GDB (the system one, for `.debug` stuff) on `/hurd/term`, `set noninvasive on`, attach to the *term* that GDB is using. +[[2011-07-04]]. + + # Formal Verification This issue may be a simple programming error, or it may be more complicated. |