diff options
Diffstat (limited to 'desktop/scripts/gdbtrace')
| -rw-r--r-- | desktop/scripts/gdbtrace | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/desktop/scripts/gdbtrace b/desktop/scripts/gdbtrace deleted file mode 100644 index 548ffe6512..0000000000 --- a/desktop/scripts/gdbtrace +++ /dev/null @@ -1,12 +0,0 @@ -set pagination off -echo log will be saved as gdbtrace.log, this will take some time, patience...\n -set logging redirect on -set logging file gdbtrace.log -set logging on -set logging overwrite on -run -bt -thread apply all bt -quit -set logging off -echo log is saved as gdbtrace.log\n |