aboutsummaryrefslogtreecommitdiff
path: root/libraries/mbed/Makefile
diff options
context:
space:
mode:
authorPaul Selkirk <paul@psgd.org>2017-05-01 15:38:16 -0400
committerPaul Selkirk <paul@psgd.org>2017-05-01 15:38:16 -0400
commit1ac75ba3d15f9b22966accbe6bd9793953396fc5 (patch)
tree89c2da9cd7bbe9b89a07c7370e22ad9414b23f58 /libraries/mbed/Makefile
parent09b4960576a64647e27df25cd6b27e7f62ccc50c (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