Kill spike when xspike is SIGINTed
authorAndrew Waterman <waterman@cs.berkeley.edu>
Tue, 23 Jul 2013 01:45:45 +0000 (18:45 -0700)
committerAndrew Waterman <waterman@cs.berkeley.edu>
Tue, 23 Jul 2013 01:45:45 +0000 (18:45 -0700)
commit2c87b07a1d43d19acde6c7221bb60a52113e1ea6
tree8d83e68f97c485aa2b95a292f2946198be34bf85
parent9291e2deedfb8dede05ccafba1f6035e3c378218
Kill spike when xspike is SIGINTed
riscv/xspike.cc