mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-18 19:13:51 +01:00
If DEVELHELP is not set `LOCK_TCPIP_CORE()`/`UNLOCK_TCPIP_CORE()` are not defined, leading to a build failure. Defining them to no-op leads to a run-time segmentation fault, so better always use those functions.