aboutsummaryrefslogtreecommitdiff
path: root/libraries/mbed/rtos
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2016-09-01 17:57:31 -0400
committerRob Austein <sra@hactrn.net>2016-09-01 17:57:31 -0400
commitd7468933468bac63584a4db61d4a613ad5d68933 (patch)
treee4130d79e77e6462e703e61e5a4bd8921448d1e9 /libraries/mbed/rtos
parent746a1eac11759f51cfb39c5c8be228651b33269f (diff)
"make clean" needs to use "rm -f" to avoid gratuitous failures.
Diffstat (limited to 'libraries/mbed/rtos')
0 files changed, 0 insertions, 0 deletions