(argv=[], *a, **kw)
| 4 | |
| 5 | # Allows you to switch between local/GDB/remote from terminal |
| 6 | def start(argv=[], *a, **kw): |
| 7 | if args.GDB: # Set GDBscript below |
| 8 | return gdb.debug([exe] + argv, gdbscript=gdbscript, *a, **kw) |
| 9 | elif args.REMOTE: # ('server', 'port') |
| 10 | return remote(sys.argv[1], sys.argv[2], *a, **kw) |
| 11 | else: # Run locally |
| 12 | return process([exe] + argv, *a, **kw) |
| 13 | |
| 14 | |
| 15 | # Specify GDB script here (breakpoints etc) |