Keir Fraser be5fbf9a7f Move generation of public header hierarchy into the tools. ...

This patch merges the two versions of public header generation
currently used in the build into one.

Signed-off-by: Bastian Blank <waldi@debian.org>

2008-01-26 10:38:44 +00:00

..

include

tools: Remove bogus external uses of xc_private.h. Clean up libflask.

2007-10-18 15:12:03 +01:00

flask_op.c

tools: Remove bogus external uses of xc_private.h. Clean up libflask.

2007-10-18 15:12:03 +01:00

Makefile

Move generation of public header hierarchy into the tools.

2008-01-26 10:38:44 +00:00