diff --git a/Mk/plugins.mk b/Mk/plugins.mk index 22da03b84..e9a22749c 100644 --- a/Mk/plugins.mk +++ b/Mk/plugins.mk @@ -48,6 +48,8 @@ check: . endif .endfor +PLUGIN_DEVEL?= yes + PLUGIN_PREFIX?= os- .if "${PLUGIN_DEVEL}" != "" PLUGIN_SUFFIX?= -devel