diff options
| author | Christian Clauss <cclauss@me.com> | 2023-05-02 16:12:36 +0200 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-05-09 18:49:23 +1000 |
| commit | a000c61d5d6933b9750413de434ac664254eca2b (patch) | |
| tree | 27bf8fbbceddfbcf457960d98391126c5ef8922d | |
| parent | 65d376b11d8087ba07df503669cc5292d4f1d0e2 (diff) | |
| download | micropython-a000c61d5d6933b9750413de434ac664254eca2b.tar.gz micropython-a000c61d5d6933b9750413de434ac664254eca2b.zip | |
tools/pyboard.py: Import errno to fix undefined name in PyboardError.
This will keep line 96 from raising a NameError.
Signed-off-by: Christian Clauss <cclauss@me.com>
| -rwxr-xr-x | tools/pyboard.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/pyboard.py b/tools/pyboard.py index c5c12c95b7..7b546b99d1 100755 --- a/tools/pyboard.py +++ b/tools/pyboard.py @@ -68,6 +68,7 @@ Or: """ import ast +import errno import os import struct import sys |