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