diff --git a/wscript b/wscript index 1623b3c8..1a3b61f0 100644 --- a/wscript +++ b/wscript @@ -94,7 +94,9 @@ def configure (conf): def check_version (given_version, major, minor, micro): if '.' in given_version: - given_major, given_minor, given_micro = given_version.split ('.') + given_major, given_minor, given_micro = given_version.split ('.', 2) + if '.' in given_micro: + given_micro, given_pico = given_micro.split ('.', 1) else: given_major, given_minor, given_micro = given_version return int(given_major) > major or \