diff options
Diffstat (limited to 'linkers/wscript')
| -rw-r--r-- | linkers/wscript | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/linkers/wscript b/linkers/wscript index 99aa86a..3d11747 100644 --- a/linkers/wscript +++ b/linkers/wscript @@ -88,7 +88,15 @@ def build(bld): linkflags = conf['linkflags'], use = modules) bld.install_files('${PREFIX}/share/rtems/trace-linker', - ['rtems.ini', 'rtld-base.ini']) + ['rtems.ini', + 'rtems-api.ini', + 'rtems-score.ini', + 'rtems-score-object.ini', + 'rtems-score-thread.ini', + 'rtems-score-heap.ini', + 'rtems-score-coremutex.ini', + 'rtld-base.ini', + 'rtld-print.ini']) # # Build the symbols. |