Merge branch 'master' of git.distorted.org.uk:~mdw/publish/public-git/profile

[profile] / dot / gdbinit

diff --git a/dot/gdbinit b/dot/gdbinit
index c9d555b..efce760 100644 (file)
--- a/dot/gdbinit
+++ b/dot/gdbinit
@@ -1,3 +1,5 @@
 ### GDB configuration
 
 set tui border-kind ascii
+set disassembly-flavor intel
+set disassemble-next-line auto