From adfd2ba5ce3341f7eaa4b9debfd950b84d89cbab Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Wed, 1 Dec 2021 22:35:23 +0100 Subject: [PATCH] build/plugins: last branch wins here in contrast to general behaviour Plugins have a special handling whereas the last active branch gets to insert its package. The same could be done for core, but here we only have one package per branch and they should not overlap in naming. --- build/plugins.sh | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/build/plugins.sh b/build/plugins.sh index 4d1bef3..a62620f 100644 --- a/build/plugins.sh +++ b/build/plugins.sh @@ -105,6 +105,16 @@ for BRANCH in ${EXTRABRANCH} ${PLUGINSBRANCH}; do PLUGIN_DEPS=$(make -C ${STAGEDIR}${PLUGINSDIR}/${PLUGIN} ${PLUGIN_ARGS} -v PLUGIN_DEPENDS) PLUGIN_VERS=$(make -C ${STAGEDIR}${PLUGINSDIR}/${PLUGIN} ${PLUGIN_ARGS} -v PLUGIN_PKGVERSION) + for REMOVED in ${@}; do + if [ ${REMOVED} = ${PLUGIN_NAME} ]; then + # make sure a subsequent built of the + # same package goes through by removing + # it while it may have been rebuilt on + # another branch + remove_packages ${STAGEDIR} ${REMOVED} + fi + done + if search_packages ${STAGEDIR} ${PLUGIN_NAME} ${PLUGIN_VERS}; then # already built continue