diff options
Diffstat (limited to 'scripts/build-version.py')
| -rw-r--r-- | scripts/build-version.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/build-version.py b/scripts/build-version.py index b768f7f43c..3fe789185c 100644 --- a/scripts/build-version.py +++ b/scripts/build-version.py @@ -1,6 +1,6 @@ #!/usr/bin/env python -import sys, os, errno +import sys, os, errno, re output_dir = sys.argv[1] @@ -13,7 +13,8 @@ else: if sys.argv[2] == sys.argv[3]: tag = [0, 0, 0] else: - tag = map(int, sys.argv[2].split('.')) + ver = re.sub("[^0-9.]", "", sys.argv[2]) + tag = map(int, ver.split('.')) rev = sys.argv[3][0:8] |