12 echo log will be saved as gdbtrace.log, this will take some time, patience...\n
13 set logging redirect on
14 set logging file gdbtrace.log
15 set logging enabled on
16 set logging overwrite on
20 set logging enabled off
21 echo log is saved as gdbtrace.log\n