From: Ben Pfaff Date: Sun, 2 Jan 2005 00:02:05 +0000 (+0000) Subject: Fix command line X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6cb001774c06f9630133da6869334ca6c99733c8;p=pintos-anon Fix command line --- diff --git a/doc/debug.texi b/doc/debug.texi index f36ae4a..cf8edc0 100644 --- a/doc/debug.texi +++ b/doc/debug.texi @@ -221,9 +221,8 @@ panicked, you can re-run @command{backtrace} on the user program, like so: (typing the command on a single line, of course): @example -~/cs140/pintos/src/utils/backtrace grow-too-big 0xc0106eff 0xc01102fb -0xc010dc22 0xc010cf67 0xc0102319 0xc010325a 0x804812c 0x8048a96 -0x8048ac8 +backtrace grow-too-big 0xc0106eff 0xc01102fb 0xc010dc22 0xc010cf67 +0xc0102319 0xc010325a 0x804812c 0x8048a96 0x8048ac8 @end example The results look like this: