diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2019-10-21 15:55:18 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2019-12-20 12:59:13 +1100 |
| commit | 7ce1e0b1dc466e48606164aad223c81c93a9cea2 (patch) | |
| tree | 7ee755742cb06393c13b420610525b85b77f10aa /extmod/webrepl/manifest.py | |
| parent | 7f235cbee924305e2d8a8aa86876770af66d7d82 (diff) | |
extmod/webrepl: Move webrepl scripts to common place and use manifest.
Move webrepl support code from ports/esp8266/modules into extmod/webrepl
(to be alongside extmod/modwebrepl.c), and use frozen manifests to include
it in the build on esp8266 and esp32.
A small modification is made to webrepl.py to make it work on non-ESP
ports, i.e. don't call dupterm_notify if not available.
Diffstat (limited to 'extmod/webrepl/manifest.py')
| -rw-r--r-- | extmod/webrepl/manifest.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extmod/webrepl/manifest.py b/extmod/webrepl/manifest.py new file mode 100644 index 000000000..0f2b44005 --- /dev/null +++ b/extmod/webrepl/manifest.py @@ -0,0 +1 @@ +freeze('.', ('webrepl.py', 'webrepl_setup.py', 'websocket_helper.py',)) |