Port, board and/or hardware

embed

MicroPython version

MicroPython v1.22.2 on 2024-08-13; linux [GCC 4.2.1] version

Reproduction

1. Modify examples/embedding/main.c by adding import cexample into second example
2. From examples/embedding run

make -f micropython_embed.mk USER_C_MODULES=<micropython_path>/examples/usercmodule
make

3. Run embed binary

Expected behaviour

Expected to start without errors

Observed behaviour

Traceback (most recent call last):
  File "<stdin>", in <module>
ImportError: module not found

Additional Information

No, I've provided everything above.

Code of Conduct

Yes, I agree