Fix Pico build.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Pol Henarejos
2024-01-02 20:43:24 +01:00
parent 963b6f4f87
commit de4d95beb8