diff -r 000000000000 -r 6474c204b198 js/src/shell/js-gdb.py.in --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/js/src/shell/js-gdb.py.in Wed Dec 31 06:09:35 2014 +0100 @@ -0,0 +1,8 @@ +""" GDB Python customization auto-loader for js shell """ +#filter substitution + +import os.path +sys.path[0:0] = [os.path.join('@topsrcdir@', 'gdb')] + +import mozilla.autoload +mozilla.autoload.register(gdb.current_objfile())