diff options
| author | Chris Johns <chrisj@rtems.org> | 2014-08-07 18:15:06 +1000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2014-08-07 18:15:06 +1000 |
| commit | 27d132f87f7d6f0baeb382e69c2b1e6b88a40b55 (patch) | |
| tree | 8df9d28122b5aa6a791575a0737834aa8b31c4ca /rtld-base.ini | |
| parent | 94a438138ff6f482eb94bb3e606707e5f977094b (diff) | |
rtms-tld: Refactor the code to match a better configuration format.
Diffstat (limited to 'rtld-base.ini')
| -rw-r--r-- | rtld-base.ini | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rtld-base.ini b/rtld-base.ini index 1ffc17e..b574e0b 100644 --- a/rtld-base.ini +++ b/rtld-base.ini @@ -5,7 +5,7 @@ ; ; -; The default generartor is used if a wrapper does provide a generator record. +; The default generartor is used if a function set does provide a generator record. ; [default-generator] generator = printf-generator @@ -32,5 +32,5 @@ static inline void rtld_pg_print_arg(int arg_num, } CODE -[base-generator-headers] +[printf-generator-headers] header = "#include <stdio.h>" |