diff --git a/functions-common b/functions-common index 87e6bb453d..eeced621a9 100644 --- a/functions-common +++ b/functions-common @@ -1767,6 +1767,9 @@ function enable_plugin { local name=$1 local url=$2 local branch=${3:-master} + if [[ ",${DEVSTACK_PLUGINS}," =~ ,${name}, ]]; then + die $LINENO "Plugin attempted to be enabled twice: ${name} ${url} ${branch}" + fi DEVSTACK_PLUGINS+=",$name" GITREPO[$name]=$url GITDIR[$name]=$DEST/$name