mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
25e11d99b1
This is a follow-up for [16775], and was not caught there as that search was limited to `which`. Note that while this line can be simplified, the redirects ensure that GNU Make < 4.3 will not optimize it into its own built-in shell that does not know `command`. [16775]: https://github.com/RIOT-OS/RIOT/pull/16775 |
||
---|---|---|
.. | ||
pythonlibs | ||
testbed-support | ||
tools | ||
empty.a | ||
gdbinit-docker | ||
Makefile | ||
usb_id_testing |