mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-25 22:43:50 +01:00
BUILD_DIR was introduced but the variable was already used by `pkg/jerryscript` so there is a name collision. Namespace it to prevent issues.
BUILD_DIR was introduced but the variable was already used by `pkg/jerryscript` so there is a name collision. Namespace it to prevent issues.