mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
5117da1cb0
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. |
||
---|---|---|
.. | ||
cc.h | ||
sys_arch.h |