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