scripts/install.py

changeset 7746
12d5e1e6abd1
parent 7745
43888e12e481
child 7775
4a1db75550bd
diff -r 43888e12e481 -r 12d5e1e6abd1 scripts/install.py
--- a/scripts/install.py	Sat Oct 03 17:10:01 2020 +0200
+++ b/scripts/install.py	Sat Oct 03 17:25:26 2020 +0200
@@ -1614,8 +1614,12 @@
         major = int(major)
         minor = int(minor)
         pat = int(pat)
-        if major < 2 or (major == 2 and minor < 9):
-            print('Sorry, you must have QScintilla 2.9.0 or higher or'
+        if (
+            major < 2 or
+            (major == 2 and minor < 11) or
+            (major == 2 and minor == 11 and pat < 1)
+        ):
+            print('Sorry, you must have QScintilla 2.11.1 or higher or'
                   ' a recent snapshot release.')
             exit(5)
         # check for blacklisted versions

eric ide

mercurial