""" 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()) | |
import mozilla.asmjs | |
mozilla.asmjs.install() |