diff options
author | Rob Austein <sra@hactrn.net> | 2016-09-01 17:57:31 -0400 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2016-09-01 17:57:31 -0400 |
commit | d7468933468bac63584a4db61d4a613ad5d68933 (patch) | |
tree | e4130d79e77e6462e703e61e5a4bd8921448d1e9 /libraries/mbed/rtos/rtx | |
parent | 746a1eac11759f51cfb39c5c8be228651b33269f (diff) |
"make clean" needs to use "rm -f" to avoid gratuitous failures.
Diffstat (limited to 'libraries/mbed/rtos/rtx')
0 files changed, 0 insertions, 0 deletions