diff options
author | Tim Newsome <tim@sifive.com> | 2019-08-28 10:57:23 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-28 10:57:23 -0700 |
commit | 30b93b866116957fcc4ce290686ac9d96febba3b (patch) | |
tree | 071cdf75a4e5890eef418a1f245fc4720435acc5 /src/server/Makefile.am | |
parent | 5173ddf75e972f78ed1a7aa12fa23b97e25fef67 (diff) | |
download | riscv-openocd-30b93b866116957fcc4ce290686ac9d96febba3b.zip riscv-openocd-30b93b866116957fcc4ce290686ac9d96febba3b.tar.gz riscv-openocd-30b93b866116957fcc4ce290686ac9d96febba3b.tar.bz2 |
Revert part of da12994 to fix ^C being eaten. (#397)
I had thought this was purely debug code but it apparently has a real
effect.
Change-Id: Id3fcb014b57575d46ab8e0b3262a9a7ab1bdb7f3
Diffstat (limited to 'src/server/Makefile.am')
0 files changed, 0 insertions, 0 deletions