diff --git a/tools/configure b/tools/configure index 78403814fb..7a1403cb6a 100755 --- a/tools/configure +++ b/tools/configure @@ -74,6 +74,7 @@ sed > Makefile \ -e "s,@PWD@,${pwd},g" \ -e "s,@LANGUAGE@,${language},g" \ -e "s,@TARGET@,${target},g" \ + -e "s,@PLUGINS@,${plugins},g" \ -e "s,@SIMVER@,${simver},g" \ <