Bug fix in SBCL version number detection

diff --git a/tools/config.lisp b/tools/config.lisp
index 04276fe89704ac02e08c48b68627137facd85771..432c906ba3742d0e7df034d0f3dc20332f61d93b 100644 (file)
--- a/tools/config.lisp
+++ b/tools/config.lisp
@@ -155,8 +155,7 @@   (defun sbcl>= (major minor micro &optional patch)
       (or 
        (> %major major)
        (and (= %major major) (> %minor minor))
-       (and (= %major major) (= %minor minor) (>= %micro micro))
-       (and (= %major major) (= %minor minor) (>= %micro micro))
+       (and (= %major major) (= %minor minor) (> %micro micro))
        (and 
        (= %major major) (= %minor minor) (= %micro micro)
        (>= (or %patch 0) (or patch 0))))))