#9235: fix missing import of sys.

diff --git a/Tools/gdb/libpython.py b/Tools/gdb/libpython.py
index 0d599811d9fac726c964cb8d20988d976534ced6..ac4aff5e32a3b844df76316eecf3b4d74692ef64 100644 (file)
--- a/Tools/gdb/libpython.py
+++ b/Tools/gdb/libpython.py
@@ -43,6 +43,7 @@ The module also extends gdb with some python-specific commands.
 from __future__ import with_statement
 import gdb
 import locale
+import sys
 
 # Look up the gdb.Type for some standard types:
 _type_char_ptr = gdb.lookup_type('char').pointer() # char*