build: provide overrides for PLUGINS_LIST and PORTS_LIST

Makes it easier to run test builds without editing the respective
config file, e.g.

    # make ports-phalcon PORTS_LIST="www/phalcon"
This commit is contained in:
Franco Fichtner 2017-07-07 05:42:36 +02:00
parent 6c82189fb2
commit 15963da55b
4 changed files with 4 additions and 4 deletions

View File

@ -31,7 +31,7 @@ SELF=distfiles
. ./common.sh
PORTS_LIST=$(
[ -z ${PORTS_LIST} ] && PORTS_LIST=$(
cat ${CONFIGDIR}/skim.conf ${CONFIGDIR}/ports.conf | \
while read PORT_ORIGIN PORT_BROKEN; do
if [ "$(echo ${PORT_ORIGIN} | colrm 2)" = "#" ]; then

View File

@ -31,7 +31,7 @@ SELF=plugins
. ./common.sh
PLUGINS_LIST=$(
[ -z ${PLUGINS_LIST} ] && PLUGINS_LIST=$(
cat ${CONFIGDIR}/plugins.conf | while read PLUGIN_ORIGIN PLUGIN_IGNORE; do
if [ "$(echo ${PLUGIN_ORIGIN} | colrm 2)" = "#" ]; then
continue

View File

@ -31,7 +31,7 @@ SELF=ports
. ./common.sh
PORTS_LIST=$(
[ -z ${PORTS_LIST} ] && PORTS_LIST=$(
cat ${CONFIGDIR}/ports.conf | while read PORT_ORIGIN PORT_IGNORE; do
if [ "$(echo ${PORT_ORIGIN} | colrm 2)" = "#" ]; then
continue

View File

@ -35,7 +35,7 @@ setup_stage ${STAGEDIR}
MAKE_ARGS="__MAKE_CONF=${CONFIGDIR}/make.conf PRODUCT_FLAVOUR=${PRODUCT_FLAVOUR}"
PORTS_LIST=$(
[ -z ${PORTS_LIST} ] && PORTS_LIST=$(
cat ${CONFIGDIR}/skim.conf ${CONFIGDIR}/ports.conf | \
while read PORT_ORIGIN PORT_BROKEN; do
if [ "$(echo ${PORT_ORIGIN} | colrm 2)" = "#" ]; then