diff options
| author | Chris Johns <chrisj@rtems.org> | 2014-09-21 14:24:37 +1000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2014-09-21 14:24:37 +1000 |
| commit | 5025439f9d8df419e5d9797d930f7490bfdf86c0 (patch) | |
| tree | 8a516a29fbf940b93a2b932263cdc6c07fc429b3 /linkers/rtems.ini | |
| parent | 149a8a63610b1c52e323347070d2210efa408203 (diff) | |
rtems-tld: Add config options, fix void args, and SCore traces.
Diffstat (limited to 'linkers/rtems.ini')
| -rw-r--r-- | linkers/rtems.ini | 21 |
1 files changed, 4 insertions, 17 deletions
diff --git a/linkers/rtems.ini b/linkers/rtems.ini index f2de480..f19bcfc 100644 --- a/linkers/rtems.ini +++ b/linkers/rtems.ini @@ -1,20 +1,7 @@ ; -; RTEMS API Trace Configurations +; RTEMS Trace Configurations ; -[rtems-api] -headers = rtems-api-headers -defines = rtems-api-defines -signatures = rtems-api-signatures - -[rtems-api-headers] -header = "#include <rtems.h>" - -[rtems-api-defines] -; Currently empty - -[rtems-api-task] -trace = rtems_task_create - -[rtems-api-signatures] -rtems_task_create = rtems_status_code, rtems_name, rtems_task_priority, size_t, rtems_mode, rtems_attribute, rtems_id* +[includes] +include = rtems-api.ini +include = rtems-score.ini |