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 /bare-arm/mpconfigport.h | |
| 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 'bare-arm/mpconfigport.h')
0 files changed, 0 insertions, 0 deletions