|
|
@ -27,9 +27,9 @@ To generate iso image |
|
|
|
|
|
|
|
gdb could be launch with debug symbols using : |
|
|
|
|
|
|
|
make debug |
|
|
|
`make debug` |
|
|
|
|
|
|
|
Then you can check some matos specific commands or pretty printing with |
|
|
|
|
|
|
|
help user-defined |
|
|
|
info pretty-printer (Should contains matos_pretty_printers) |
|
|
|
`help user-defined` |
|
|
|
`info pretty-printer` (Should contains matos_pretty_printers) |