From: Íñigo Huguet on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2339#note_1297...
Basically, we should need to determine if the user has selected any value for
DISTRO, DIST or BUILD_TARGET, either in command line or in Makefile.variables.
If the user has defined any, respect it, but if not, we choose.
The problem is that, for DIST, the default value is being set in
Makefile.variables, and it depends on the local machine (i.e. if you're in
Fedora, it selects '.fc37'). Maybe we could put `DIST ?=` in
Makefile.variables, and move the current default value to Makefile? Would that
be OK?