diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2017-01-27 21:28:03 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2017-01-27 21:43:13 +0300 |
| commit | 40e72e4a5cc59fa005259b9e85393a13a32c0a12 (patch) | |
| tree | 64c8d2491452a2ab254c40af94b703eb9b41cbf0 /docs/readthedocs/settings/local_settings.py | |
| parent | 0390bc97eacb0de90af6a148b356faf0dd443d22 (diff) | |
| download | micropython-40e72e4a5cc59fa005259b9e85393a13a32c0a12.tar.gz micropython-40e72e4a5cc59fa005259b9e85393a13a32c0a12.zip | |
zephyr: Make sure that correct Zephyr config is used for "minimal" build.
Overriding CONF_FILE in "minimal" target itself is too late due to include-
pinned $(Z_EXPORTS) target.
Diffstat (limited to 'docs/readthedocs/settings/local_settings.py')
0 files changed, 0 insertions, 0 deletions