profile.mk: pinned package branding-$$(BRANDING)-release
This is necessary to prevent accidental hit of another branding.
Usually the problem is solved by setting up pkgpriorities in apt settings.
But this is inconvenient when you need to make building often with others
branding.
Showing
Please
register
or
sign in
to comment