diff options
| author | Damien George <damien.p.george@gmail.com> | 2018-02-23 13:15:01 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2018-02-23 13:15:01 +1100 |
| commit | 6b40a060574462bcf5e2f204a657cbac3a82d3c1 (patch) | |
| tree | 7cb67c3fa0e4584444e702e7cde08b31e140d046 /py/builtinhelp.c | |
| parent | c2f4f36010c8636f837aa28028d9dd9a951959d5 (diff) | |
examples/embedding: Don't prefix $(MPTOP) to ports/unix source files.
Otherwise the build process puts the corresponding output object files in
two directories lower, not in build/ports/unix.
Diffstat (limited to 'py/builtinhelp.c')
0 files changed, 0 insertions, 0 deletions