diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2022-07-04 11:14:47 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-07-05 22:47:06 +1000 |
| commit | 651b3704845bff116334993d2a4752d78d23a068 (patch) | |
| tree | d3cb41d8313c1a348991fcd355f56727c172788b /py/makemoduledefs.py | |
| parent | 85be3d3da889af76219c8bbfff041e8a4faab0c8 (diff) | |
rp2/Makefile: Regenerate cmake if generated Makefile missing.
`CMakeCache.txt` can exist even if cmake failed. Use `Makefile` instead.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'py/makemoduledefs.py')
0 files changed, 0 insertions, 0 deletions