Searched refs:gdb_command_opts (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/tools/seL4/cmake-tool/simulate_scripts/
H A Dlaunch_gdb.py27 gdb_command_opts = [args.gdb_binary, args.extra_gdb_args, '-ex "target remote :1234"', args.target_executable] variable
28 gdb_command = " ".join(gdb_command_opts)

Completed in 85 milliseconds