mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-01-18 12:52:44 +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. |
||
---|---|---|
.. | ||
contrib | ||
include | ||
patches | ||
doc.txt | ||
Makefile | ||
Makefile.dep | ||
Makefile.include |