diff options
Diffstat (limited to 'src/server')
| -rw-r--r-- | src/server/Makefile.am | 1 | ||||
| -rw-r--r-- | src/server/startup.tcl | 8 |
2 files changed, 9 insertions, 0 deletions
diff --git a/src/server/Makefile.am b/src/server/Makefile.am index 6e52fdfb..bb7d5ef3 100644 --- a/src/server/Makefile.am +++ b/src/server/Makefile.am @@ -35,6 +35,7 @@ nobase_dist_pkgdata_DATA = \ endif EXTRA_DIST = \ + startup.tcl \ httpd/readme.txt \ httpd/menu.xml \ httpd/menu.xsl \ diff --git a/src/server/startup.tcl b/src/server/startup.tcl new file mode 100644 index 00000000..677bb2de --- /dev/null +++ b/src/server/startup.tcl @@ -0,0 +1,8 @@ +# Handle GDB 'R' packet. Can be overriden by configuration script, +# but it's not something one would expect target scripts to do +# normally +proc ocd_gdb_restart {target_id} { + # Fix!!! we're resetting all targets here! Really we should reset only + # one target + reset halt +} |