diff options
| author | Damien George <damien.p.george@gmail.com> | 2019-06-24 13:18:43 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2019-07-01 22:53:00 +1000 |
| commit | 89a23a05b3feb2f81fb00d272202b274c2a325cd (patch) | |
| tree | c6b455e1eaade9b47bd848d2767df98cf1d768ec /py/emitbc.c | |
| parent | 999733b1fb08fb07a31846115998dbf43a913327 (diff) | |
esp8266: Provide custom machine_time_pulse_us that feeds soft WDT.
So that the timeout for machine.time_pulse_us() can be large.
Fixes issue #2775.
Diffstat (limited to 'py/emitbc.c')
0 files changed, 0 insertions, 0 deletions