diff options
Diffstat (limited to 'ports/esp8266/boards/manifest.py')
| -rw-r--r-- | ports/esp8266/boards/manifest.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ports/esp8266/boards/manifest.py b/ports/esp8266/boards/manifest.py index 779e840880..b6df53fc64 100644 --- a/ports/esp8266/boards/manifest.py +++ b/ports/esp8266/boards/manifest.py @@ -2,3 +2,4 @@ freeze('$(PORT_DIR)/modules') freeze('$(MPY_DIR)/tools', ('upip.py', 'upip_utarfile.py')) freeze('$(MPY_DIR)/drivers/dht', 'dht.py') freeze('$(MPY_DIR)/drivers/onewire') +include('$(MPY_DIR)/extmod/webrepl/manifest.py') |