Compile stdlib C files individually
authorAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Fri, 26 Feb 2016 10:46:44 +0000 (10:46 +0000)
committerAntonio Nino Diaz <antonio.ninodiaz@arm.com>
Fri, 26 Feb 2016 14:41:53 +0000 (14:41 +0000)
commit191a008865993e4f778e165fe9df4f2e1f9dd8cb
tree9a9359057531981a886655ee5050c9126c89a645
parent9931932bfd3429aa8e98c33a26dfafcdbda71a43
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
Makefile
lib/stdlib/std.c [deleted file]