--- old/make/gensrc/GensrcMisc.gmk 2018-12-04 11:11:34.077109413 -0500 +++ new/make/gensrc/GensrcMisc.gmk 2018-12-04 11:11:33.909108580 -0500 @@ -36,6 +36,7 @@ @@VERSION_SHORT@@ => $(VERSION_SHORT) ; \ @@VERSION_STRING@@ => $(VERSION_STRING) ; \ @@VERSION_NUMBER@@ => $(VERSION_NUMBER) ; \ + @@VERSION_SPECIFICATION@@ => $(VERSION_SPECIFICATION) ; \ @@VERSION_PRE@@ => $(VERSION_PRE) ; \ @@VERSION_BUILD@@ => $(VERSION_BUILD) ; \ @@VERSION_OPT@@ => $(VERSION_OPT) ; \