diff options
| -rwxr-xr-x | cpp/makedist.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpp/makedist.py b/cpp/makedist.py index 2c3c1bdaaf1..d0f83208ff8 100755 --- a/cpp/makedist.py +++ b/cpp/makedist.py @@ -296,7 +296,7 @@ if not skipDocs: # Get Ice version. # config = open(os.path.join("ice", "include", "IceUtil", "Config.h"), "r") -version = re.search("ICE_STRING_VERSION \"(.*)\"", config.read()).group(1) +version = re.search("ICE_STRING_VERSION \"([0-9\.]*)\"", config.read()).group(1) # # Create archives. |