diff options
| author | Armin Brauns <armin.brauns@embedded-solutions.at> | 2023-07-24 07:02:06 +0000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-07-24 23:41:50 +1000 |
| commit | 14374850ce54f0e1d446355738b31d4b0ba7aabe (patch) | |
| tree | 55eba2b6ce263c662ba3ccd20336ddcc81f73c6c /tests/unix/extra_coverage.py.exp | |
| parent | 3164749b3d19a35bc3d0064da18ce0e55c4d7f20 (diff) | |
mpy-cross: Allow specifying stdin as input without --.
This way, a bare `-` is never interpreted as an option, even before
`--`. Filenames starting with `-` still need to be put after `--`.
Signed-off-by: Armin Brauns <armin.brauns@embedded-solutions.at>
Diffstat (limited to 'tests/unix/extra_coverage.py.exp')
0 files changed, 0 insertions, 0 deletions