diff options
Diffstat (limited to 'Makefile.config')
| -rw-r--r-- | Makefile.config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.config b/Makefile.config index 8923de49b..b661fff10 100644 --- a/Makefile.config +++ b/Makefile.config @@ -2,6 +2,7 @@ _DISTRIB_NAME := $(shell sed -n '/^.*distribution=\([^,]*\),.*/s//\1/p' /etc/product.id) DISTRIB_NAME = "$(_DISTRIB_NAME)" DISTRIB_VERSION = $(shell sed -n '/^.*version=\([^,]*\),.*/s//\1/p' /etc/product.id) +DISTRIB_TYPE = $(shell sed -n '/^.*type=\([^,]*\),.*/s//\1/p' /etc/product.id) DISTRIB_DESCR = "$(_DISTRIB_NAME) release $(DISTRIB_VERSION)" |