diff options
author | Samuel Bronson <naesten@gmail.com> | 2014-05-15 22:27:54 -0400 |
---|---|---|
committer | Samuel Bronson <naesten@gmail.com> | 2014-05-15 22:27:54 -0400 |
commit | 3492c09f26c42ad2abd39a153bc7384f46d97afb (patch) | |
tree | 9aa38cfbce726b825cbab4e550b5c30ea3239636 /crawl-ref/source/crawl-gdb.py | |
parent | 1b697ebc8913943b6ed19baed6f9b195282c01c9 (diff) | |
download | crawl-ref-3492c09f26c42ad2abd39a153bc7384f46d97afb.tar.gz crawl-ref-3492c09f26c42ad2abd39a153bc7384f46d97afb.zip |
A python3 fix for our pretty-printers
Hard to say if this is all that needs fixing here until
<https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=748317> gets fixed,
though.
Diffstat (limited to 'crawl-ref/source/crawl-gdb.py')
-rw-r--r-- | crawl-ref/source/crawl-gdb.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/crawl-ref/source/crawl-gdb.py b/crawl-ref/source/crawl-gdb.py index 2cb5907c66..d70291cb2f 100644 --- a/crawl-ref/source/crawl-gdb.py +++ b/crawl-ref/source/crawl-gdb.py @@ -1,7 +1,11 @@ # GDB autoload file import gdb.printing +import sys +# We want to work with both Python 2 and 3 +if sys.version_info[0] > 2: + long = int ## Copied from gdb.printing because, having an initial underscore, ## it's probably not a stable interface... |