aboutsummaryrefslogtreecommitdiff
path: root/libraries/mbed/rtos/rtx
diff options
context:
space:
mode:
authorPaul Selkirk <paul@psgd.org>2016-07-06 14:46:26 -0400
committerPaul Selkirk <paul@psgd.org>2016-07-06 14:46:26 -0400
commit2864813c35d2ce295468775b6091bda9ef2245a1 (patch)
tree58799f4899317ab994d77535546e8a7d56c2dee0 /libraries/mbed/rtos/rtx
parent833802c921a53d1ee6a71049943edaebd1466d1b (diff)
Simplify library Makefiles by using symbols defined in top-level Makefile, rather than re-deriving them.
Diffstat (limited to 'libraries/mbed/rtos/rtx')
0 files changed, 0 insertions, 0 deletions