diff options
author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2016-02-26 10:46:44 +0000 |
---|---|---|
committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2016-02-26 14:41:53 +0000 |
commit | 191a008865993e4f778e165fe9df4f2e1f9dd8cb (patch) | |
tree | 9a9359057531981a886655ee5050c9126c89a645 /lib/stdlib/printf.c | |
parent | 9931932bfd3429aa8e98c33a26dfafcdbda71a43 (diff) |
Compile stdlib C files individually
All C files of stdlib were included into std.c, which was the file
that the Makefile actually compiled. This is a poor way of compiling
all the files and, while it may work fine most times, it's
discouraged.
In this particular case, each C file included its own headers, which
were later included into std.c. For example, this caused problems
because a duplicated typedef of u_short in both subr_prf.c and
types.h. While that may require an issue on its own, this kind of
problems are avoided if all C files are as independent as possible.
Change-Id: I9a7833fd2933003f19a5d7db921ed8542ea2d04a
Diffstat (limited to 'lib/stdlib/printf.c')
0 files changed, 0 insertions, 0 deletions