Harden check_version to handle pico version
Fixes: https://bugs.launchpad.net/midori/+bug/1026667
This commit is contained in:
parent
5425f1c3ad
commit
dce8096593
1 changed files with 3 additions and 1 deletions
4
wscript
4
wscript
|
@ -94,7 +94,9 @@ def configure (conf):
|
||||||
|
|
||||||
def check_version (given_version, major, minor, micro):
|
def check_version (given_version, major, minor, micro):
|
||||||
if '.' in given_version:
|
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:
|
else:
|
||||||
given_major, given_minor, given_micro = given_version
|
given_major, given_minor, given_micro = given_version
|
||||||
return int(given_major) > major or \
|
return int(given_major) > major or \
|
||||||
|
|
Loading…
Reference in a new issue