build/plugins: skip earlier

This commit is contained in:
Franco Fichtner 2016-02-04 21:32:40 +01:00
parent d485884e43
commit 867eafd82b
1 changed files with 4 additions and 4 deletions

View File

@ -29,16 +29,16 @@ set -e
. ./common.sh && $(${SCRUB_ARGS})
PLUGINS_MARKER="plugins"
check_packages ${PLUGINS_MARKER} ${@}
if [ -z "${*}" ]; then
PLUGINS_LIST=$(make -C ${PLUGINSDIR} list)
else
PLUGINS_LIST="${*}"
fi
PLUGINS_MARKER="plugins"
check_packages ${PLUGINS_MARKER} ${@}
setup_stage ${STAGEDIR}
setup_base ${STAGEDIR}
setup_clone ${STAGEDIR} ${PLUGINSDIR}