From: Íñigo Huguet on gitlab.com https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2339#note_1297525299 But if we maintain the default value assignment of DIST in Makefile.variable, there is no way to know if a value different by default has been defined by the user in the file. _______________________________________________ kernel mailing list -- kernel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to kernel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/kernel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue