| commit | d553be5982722fc5ee5240fbfb15697849881ced | [log] [tgz] |
|---|---|---|
| author | Damien George <damien.p.george@gmail.com> | Thu Apr 17 18:03:27 2014 +0100 |
| committer | Damien George <damien.p.george@gmail.com> | Thu Apr 17 18:03:27 2014 +0100 |
| tree | 4312b491aaee255ed7d8dbffe74f79011de1c426 | |
| parent | 2d1f865d16c5a7e27f5e46c96d087a7ff8a49012 [diff] [blame] |
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'.
diff --git a/unix/main.c b/unix/main.c index e582244..b9b8fe0 100644 --- a/unix/main.c +++ b/unix/main.c
@@ -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>