Merge branch 'dev'

[libcds.git] / tools / make_distrib.pl

diff --git a/tools/make_distrib.pl b/tools/make_distrib.pl
index 0c8cd1020fc4868812f4522ee9d259bde5625cb4..1e9d948338ddbc74cbb5c6d328cc87120c5efeab 100644 (file)
--- a/tools/make_distrib.pl
+++ b/tools/make_distrib.pl
@@ -26,7 +26,8 @@ print "make copyright...\n" ;
 makeCopyright($DistrDir);\r
 \r
 print "patch files...\n";\r
-patch_file("$DistrDir/build/Makefile", 'VERSION=\d+\.\d+\.\d+', "VERSION=$Version" ) ;\r
+patch_file("$DistrDir/build/Makefile", 'VERSION=\d+\.\d+\.\d+', "VERSION=$Version" );\r
+patch_file("$DistrDir/CMakeList.txt", 'PROJECT_VERSION \d+\.\d+\.\d+', "PROJECT_VERSION $Version" );\r
 patch_file("$DistrDir/doxygen/cds.doxy", 'PROJECT_NUMBER\s*=\s*\d+\.\d+\.\d+', "PROJECT_NUMBER = $Version" ) ;\r
 patch_file("$DistrDir/projects/android/jni/Android.mk", 'CDS_LIBRARY_VERSION\s*:=\s*\d+\.\d+\.\d+', \r
    "CDS_LIBRARY_VERSION := $Version" );\r