diff --git a/configure/CONFIG_ADDONS b/configure/CONFIG_ADDONS
index 95306795e..7178aa486 100644
--- a/configure/CONFIG_ADDONS
+++ b/configure/CONFIG_ADDONS
@@ -208,14 +208,6 @@ PROD += $(PROD_DEFAULT)
 endif
 endif
 
-ifneq ($(strip $(PRODMT_$(OS_CLASS))),)
-PRODMT += $(subst -nil-,,$(PRODMT_$(OS_CLASS)))
-else
-ifdef PRODMT_DEFAULT
-PRODMT += $(PRODMT_DEFAULT)
-endif
-endif
-
 #
 #	concat specific scripts
 #