diff options
| author | Dan Halbert <halbert@halwitz.org> | 2017-10-27 17:14:57 -0400 |
|---|---|---|
| committer | Dan Halbert <halbert@halwitz.org> | 2017-10-27 17:32:13 -0400 |
| commit | 7f88ba3b2642c5b326b3df1821a055ef47e95c3a (patch) | |
| tree | 70c5294af5566554b09dca171f67b123357608c5 /tools/tinytest-codegen.py | |
| parent | 2487226dff08ba3ec75019a10374eda07fc1a50d (diff) | |
Revert "Allow main.py to be interrupted by ctrl-C" (#381)
* Revert "Read serial input as a background task so we can check for the interrupt character."
This reverts commit 046092e8a29822ae5d761fbaac1a3af181b1297c.
* Revert "Check INTERNAL_LIBM make flag in a safer way."
This reverts commit 2b80add22f5d22544d8362c19d4332a489325ac9.
Diffstat (limited to 'tools/tinytest-codegen.py')
0 files changed, 0 insertions, 0 deletions