mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-17 18:43:50 +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.