On Monday 2020-08-31 14:59, Jeremy Sowden wrote: >diff --git a/configure.ac b/configure.ac >index 7d779964f77d..3e4755db3542 100644 >--- a/configure.ac >+++ b/configure.ac >@@ -57,7 +57,7 @@ if test -n "$kbuilddir"; then > echo "WARNING: Version detection did not succeed. Continue at own luck."; > else > echo "$kmajor.$kminor.$kmicro.$kstable in $kbuilddir"; >- if test "$kmajor" -gt 5 -o "$kmajor" -eq 5 -a "$kminor" -gt 8; then >+ if test "$kmajor" -gt 5 -o "$kmajor" -eq 5 -a "$kminor" -gt 9; then Both processed.
