For gdbgui, that's the -g option on the command line. ... Note that this is not the same as the seer package in Ubuntu, unfortunately.
確定! 回上一頁