diff options
| author | Dan Halbert <halbert@halwitz.org> | 2017-10-27 17:14:57 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-27 17:14:57 -0400 |
| commit | 0e83f8c752a299ff3d0e38a0a1b9c964fcd12cdd (patch) | |
| tree | 70c5294af5566554b09dca171f67b123357608c5 /tools/tinytest-codegen.py | |
| parent | 046092e8a29822ae5d761fbaac1a3af181b1297c (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