rename PROPERTY_VERSION to UNICODE_PROPERTY_VERSION

diff --git a/src/make_unicode_property_data.py b/src/make_unicode_property_data.py
index 16b0a0ca71add2ef2b75d29315601365bb500abf..9a48cedc7f31f8d76d0f27b11ac0bc6872788c48 100755 (executable)
--- a/src/make_unicode_property_data.py
+++ b/src/make_unicode_property_data.py
@@ -562,9 +562,10 @@ if not(POSIX_ONLY):
 
 print '%%'
 print ''
-if VERSION_INFO is not None:
-  print "#define PROPERTY_VERSION  %s" % re.sub(r'[\.-]', '_', VERSION_INFO)
-  print ''
+if not(POSIX_ONLY):
+  if VERSION_INFO is not None:
+    print "#define UNICODE_PROPERTY_VERSION  %s" % re.sub(r'[\.-]', '_', VERSION_INFO)
+    print ''
 
 print "#define PROPERTY_NAME_MAX_SIZE  %d" % (PROPERTY_NAME_MAX_LEN + 10)
 print "#define CODE_RANGES_NUM         %d" % (index + 1)