summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorPalmer Dabbelt <palmer@dabbelt.com>2017-06-10 15:25:25 -0700
committerPalmer Dabbelt <palmer@dabbelt.com>2017-06-10 15:25:25 -0700
commit01cc10090feba7d9a9e3183744292e1198ebbbc0 (patch)
tree8ea9f2f6acdccbdb3ad6226b7e37f9e159d8904e /scripts
parent9cb0177cdf178e7f941341b98bf85289c6b30b1f (diff)
Allow users to override the GDB port
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions