Harden check_version to handle pico version

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

diff --git a/wscript b/wscript
index 1623b3c88c6cab0d60cae64449240663fe9e4ef2..1a3b61f03b5c0987605b6a603b847f9fa125bd25 100644 (file)
--- 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 \