diff options
Diffstat (limited to 'tools/gdb')
-rw-r--r-- | tools/gdb/python/wscript | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/tools/gdb/python/wscript b/tools/gdb/python/wscript index 5c898c1..0cb5bb8 100644 --- a/tools/gdb/python/wscript +++ b/tools/gdb/python/wscript @@ -3,10 +3,11 @@ # def options(opt): - pass + opt.load('python') def configure(conf): conf.load('python') + conf.check_python_version((2,7,3)) def build(bld): source = ['__init__.py', @@ -26,5 +27,6 @@ def build(bld): 'supercore_printer.py', 'threads.py', 'watchdog.py'] - bld(features = 'py', source = source, install_path = None) - bld.install_files('${PREFIX}/share/gdb/python/rtems', source) + bld(features = 'py', + source = source, + install_path = '${PREFIX}/share/gdb/python/rtems') |