From dce8096593f661f263294b353dc1486ed64c9449 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Marguet?= Date: Tue, 24 Jul 2012 22:32:38 +0200 Subject: [PATCH] Harden check_version to handle pico version Fixes: https://bugs.launchpad.net/midori/+bug/1026667 --- wscript | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 \