From 6338944604136f4d971d66324a84f9c1fa85b111 Mon Sep 17 00:00:00 2001 From: Anton Midyukov Date: Sun, 16 Feb 2020 22:24:04 +0700 Subject: [PATCH] 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. --- lib/profile.mk | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/lib/profile.mk b/lib/profile.mk index 2ff2fe4d..bbbc8031 100644 --- a/lib/profile.mk +++ b/lib/profile.mk @@ -83,7 +83,7 @@ profile/init: distclean fi $(SHORTEN); \ } >&2 -profile/bare: profile/init +profile/bare: profile/init use/pkgpriorities @{ \ NOTE="$${GLOBAL_VERBOSE:+: $(CONFIG)}"; \ if [ -z "$(QUIET)" ]; then \ @@ -95,6 +95,14 @@ profile/bare: profile/init @$(call try,IMAGEDIR,$(wildcard $(IMAGEDIR))) @$(call try,LOGDIR,$(wildcard $(LOGDIR))) @$(call try,BRANDING,alt-sisyphus) + @$(call add,PINNED_PACKAGES,branding-$$(BRANDING)-alterator:Essential) + @$(call add,PINNED_PACKAGES,branding-$$(BRANDING)-bootsplash:Essential) + @$(call add,PINNED_PACKAGES,branding-$$(BRANDING)-bootloader:Essential) + @$(call add,PINNED_PACKAGES,branding-$$(BRANDING)-graphics:Essential) + @$(call add,PINNED_PACKAGES,branding-$$(BRANDING)-indexhtml:Essential) + @$(call add,PINNED_PACKAGES,branding-$$(BRANDING)-notes:Essential) + @$(call add,PINNED_PACKAGES,branding-$$(BRANDING)-release:Essential) + @$(call add,PINNED_PACKAGES,branding-$$(BRANDING)-slideshow:Essential) ifeq (,$(REPO:altlinux%=)) @$(call set,IMAGE_INIT_LIST,+branding-$$(BRANDING)-release) endif