1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
RIOT/sys/shell
Benjamin Valentin f5a5c5dd2c shell/gnrc_icmpv6_echo: fix build with USEMODULE += sock_dns
To be able to call sock_dns_query() in _configure(), we also
need to include the header file.
2020-02-21 23:56:33 +01:00
..
commands shell/gnrc_icmpv6_echo: fix build with USEMODULE += sock_dns 2020-02-21 23:56:33 +01:00
Makefile make: detect their module name automatically 2014-06-17 15:49:32 +02:00
shell.c shell: make shell_run run shell forever 2019-09-19 10:26:31 +02:00