diff --git a/functions-common b/functions-common index d15999ef65..cc1d42b0d6 100644 --- a/functions-common +++ b/functions-common @@ -1771,6 +1771,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