diff --git a/make/defs.mk b/make/defs.mk
index 23f512c8..8fba0861 100644
--- a/make/defs.mk
+++ b/make/defs.mk
@@ -640,14 +640,15 @@ define beautify_lib_path
 	$(SED) 's/:/\n  + /g'
 endef
 
-#$(shell $(CAT) $1/VERSION | $(SED) 's/-dev//; s/-[^-]*$$//')
-define $(CAT)_version
-$(shell $(CAT) $1/VERSION | $(SED) 's/-dev//')
-endef
-
-define version
-$(shell $(CAT) $1/VERSION | $(SED) 's/-.*//')
-endef
+ifeq ($(INCLUDE_REV_IN_VERSIONS),true)
+  define version
+    $(shell $(CAT) $1/VERSION | $(SED) 's/-dev//')
+  endef
+else
+  define version
+    $(shell $(CAT) $1/VERSION | $(SED) 's/-.*//')
+  endef
+endif
 
 define install_links
 	cwd=`pwd`; \