diff options
| author | Paul Selkirk <paul@psgd.org> | 2017-05-01 15:38:16 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2017-05-01 15:38:16 -0400 |
| commit | 1ac75ba3d15f9b22966accbe6bd9793953396fc5 (patch) | |
| tree | 89c2da9cd7bbe9b89a07c7370e22ad9414b23f58 /libraries/mbed/Makefile | |
| parent | 09b4960576a64647e27df25cd6b27e7f62ccc50c (diff) | |
Add HAL_Delay as an alias for task_delay, but don't wedge if the tasker isn't running yet.
Diffstat (limited to 'libraries/mbed/Makefile')
0 files changed, 0 insertions, 0 deletions