diff --git a/makefiles/app_dirs.inc.mk b/makefiles/app_dirs.inc.mk index 6404b63894..d4a9bdd9d6 100644 --- a/makefiles/app_dirs.inc.mk +++ b/makefiles/app_dirs.inc.mk @@ -21,3 +21,5 @@ info-applications-supported-boards: @for dir in $(APPLICATION_DIRS); do \ make --no-print-directory -C $${dir} info-boards-supported 2>/dev/null | xargs -n 1 echo $${dir}; \ done +# BOARDS values from 'boards.inc.mk' to only evaluate it once +info-applications-supported-boards: export BOARDS ?=