From: Stéphane Marguet <smarguet@gmail.com>
Date: Tue, 24 Jul 2012 20:32:38 +0000 (+0200)
Subject: Harden check_version to handle pico version
X-Git-Url: https://spindle.queued.net/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dce8096593f661f263294b353dc1486ed64c9449;p=midori

Harden check_version to handle pico version

Fixes: https://bugs.launchpad.net/midori/+bug/1026667
---

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 \