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/api/mbed_error.h | |
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/api/mbed_error.h')
0 files changed, 0 insertions, 0 deletions