build: Simplify build directory layout by putting all headers in genhdr.

Any generated headers go in $(BUILD)/genhdr/, and are #included as
'genhdr/xxx.h'.
This commit is contained in:
Damien George
2014-04-17 18:03:27 +01:00
parent 2d1f865d16
commit d553be5982
18 changed files with 27 additions and 32 deletions

View File

@@ -22,7 +22,7 @@
#include "runtime.h"
#include "repl.h"
#include "gc.h"
#include "build/py/py-version.h"
#include "genhdr/py-version.h"
#if MICROPY_USE_READLINE
#include <readline/readline.h>