diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2017-10-12 12:52:59 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2017-10-12 12:52:59 +0200 |
| commit | b76fa74df180ade2b858dfffc74f801540ab2a1a (patch) | |
| tree | 1a15fc7d8c5ee07894fa5565d5a7abe0d3777289 /linkers/wscript | |
| parent | 5e40b4a1638c3863427bdcf044abd151eb1ec130 (diff) | |
linkers: Update due to API changes
Update #3160.
Diffstat (limited to '')
| -rw-r--r-- | linkers/wscript | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/linkers/wscript b/linkers/wscript index 6e696aa..46c8532 100644 --- a/linkers/wscript +++ b/linkers/wscript @@ -122,8 +122,8 @@ def build(bld): 'rtems-score.ini', 'rtems-score-object.ini', 'rtems-score-thread.ini', + 'rtems-score-threadq.ini', 'rtems-score-heap.ini', - 'rtems-score-coremutex.ini', 'rtld-base.ini', 'rtld-trace-buffer.ini', 'rtld-print.ini']) |