make/gensrc/GensrcMisc.gmk
changeset 52824 52a692760109
parent 52804 28094715ae71
child 53683 48ff68e2fe5c
child 57115 512e7cc6ccce
child 57145 ceaa243112bd
--- a/make/gensrc/GensrcMisc.gmk	Tue Dec 04 11:54:09 2018 -0800
+++ b/make/gensrc/GensrcMisc.gmk	Tue Dec 04 15:22:41 2018 -0500
@@ -42,6 +42,7 @@
         @@VERSION_DATE@@ => $(VERSION_DATE) ; \
         @@VERSION_CLASSFILE_MAJOR@@ => $(VERSION_CLASSFILE_MAJOR) ; \
         @@VERSION_CLASSFILE_MINOR@@ => $(VERSION_CLASSFILE_MINOR) ; \
+        @@VERSION_SPECIFICATION@@ => $(VERSION_SPECIFICATION) ; \
         @@VENDOR_VERSION_STRING@@ => $(VENDOR_VERSION_STRING) ; \
         @@VENDOR@@ => $(COMPANY_NAME) ; \
         @@VENDOR_URL@@ => $(VENDOR_URL) ; \