sorry, no commit msg
This commit is contained in:
parent
ee0d13f225
commit
831c51fcec
27 changed files with 278 additions and 91 deletions
3
.gdbinit
3
.gdbinit
|
|
@ -26,7 +26,8 @@ define logging_on
|
|||
# Instead of printing on stdout only, log everything...
|
||||
set logging redirect on
|
||||
# ... in our named pipe.
|
||||
set logging on /tmp/coloutPipe
|
||||
set logging file /tmp/coloutPipe
|
||||
set logging on
|
||||
end
|
||||
|
||||
define logging_off
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue