From b834f8bfdd06bc581633b40043c7f609e56af16e Mon Sep 17 00:00:00 2001 From: Lucio Andrés Illanes Albornoz (arab, vxp) Date: Feb 16 2017 00:15:37 +0000 Subject: build.sh: unset ${PKG_NAME_FLAVOUR} across individual packages. --- diff --git a/build.sh b/build.sh index 57990f7..e88c2e5 100755 --- a/build.sh +++ b/build.sh @@ -55,6 +55,7 @@ for BUILD_TARGET_LC in $(subst_tgts invariants ${BUILD_TARGETS_META:-world}); do # # # + unset PKG_NAME_PARENT; if [ "${PKG_NAME#*_flavour_*}" != "${PKG_NAME}" ]; then PKG_NAME_PARENT="${PKG_NAME%_flavour_*}"; elif [ "${ARG_CHECK_UPDATES:-0}" -eq 1 ]\