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/formatfloat.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/formatfloat.c')
0 files changed, 0 insertions, 0 deletions