diff --git a/configure/CONFIG_ADDONS b/configure/CONFIG_ADDONS
index 82346ea97..70bc89895 100644
--- a/configure/CONFIG_ADDONS
+++ b/configure/CONFIG_ADDONS
@@ -175,8 +175,6 @@ LIB_LDFLAGS+=$(LIB_LDFLAGS_DEFAULT)
 endif
 endif
 
-#	concat specific library contents (if defined)
-#
 ifneq ($(strip $(LIBSRCS_$(OS_CLASS))),)
 LIBSRCS += $(subst -nil-,,$(LIBSRCS_$(OS_CLASS)))
 else
@@ -378,6 +376,17 @@ USR_LIBS += $(USR_LIBS_DEFAULT)
 endif
 endif
 
+#
+#	concat specific include files
+#
+ifneq ($(strip $(INC_$(OS_CLASS))),)
+INC += $(subst -nil-,,$(INC_$(OS_CLASS)))
+else
+ifdef INC_DEFAULT
+INC+=$(INC_DEFAULT)
+endif
+endif
+
 #
 #	concat specific library contents (if defined) to SYS_PROD_LIBS
 #