diff --git a/make/defs-orig.mk b/make/defs-orig.mk index 15719581..61146644 100644 --- a/make/defs-orig.mk +++ b/make/defs-orig.mk @@ -24,6 +24,7 @@ DIST_WINVERSION = $(shell echo $(WINVERSION) | sed -e "s/-dev//") LOCAL_DIST_VERSION = $(shell echo $(LOCAL_VERSION) | sed -e "s/-dev//") LOCAL_DIST_WINVERSION = $(shell echo $(LOCAL_WINVERSION) | sed -e "s/-dev//") DEVELOPMENT = $(shell cat $(TOPDIR)/VERSION | grep 'dev' >/dev/null && echo true) + ifeq ($(DEVELOPMENT),true) include $(TOPDIR)/make/cfg_dev.mk else