mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-28 16:01:18 +01:00
This can be used to get the highest value out of a list of numeric numbers in a Makefile variable separated by whitespace.
This can be used to get the highest value out of a list of numeric numbers in a Makefile variable separated by whitespace.