diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-04-17 18:03:27 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-04-17 18:03:27 +0100 |
| commit | d553be5982722fc5ee5240fbfb15697849881ced (patch) | |
| tree | 4312b491aaee255ed7d8dbffe74f79011de1c426 /unix/main.c | |
| parent | 2d1f865d16c5a7e27f5e46c96d087a7ff8a49012 (diff) | |
| download | micropython-d553be5982722fc5ee5240fbfb15697849881ced.tar.gz micropython-d553be5982722fc5ee5240fbfb15697849881ced.zip | |
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'.
Diffstat (limited to 'unix/main.c')
| -rw-r--r-- | unix/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unix/main.c b/unix/main.c index e582244b39..b9b8fe0b9f 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> |