From 0e8531fe9eb677e91dcf3b780ce9d18c3f47b5fa Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Thu, 16 Jul 2015 18:15:45 +0200 Subject: [PATCH] plugins: advertise the package name via target --- Mk/plugins.mk | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Mk/plugins.mk b/Mk/plugins.mk index 943477933..ebf50efd9 100644 --- a/Mk/plugins.mk +++ b/Mk/plugins.mk @@ -37,6 +37,10 @@ check: @[ -n "${PLUGIN_VERSION}" ] || echo "PLUGIN_VERSION not set" @[ -n "${PLUGIN_DESC}" ] || echo "PLUGIN_DESC not set" @[ -n "${PLUGIN_MAINTAINER}" ] || echo "PLUGIN_MAINTAINER not set" + # XXX throw an error here + +name: check + @echo ${PLUGIN_PREFIX}${PLUGIN_NAME} manifest: check @echo "name: ${PLUGIN_PREFIX}${PLUGIN_NAME}"