configure.patch 745 B

12345678910111213141516
  1. --- configure.orig 2014-01-27 21:55:14.116272645 +0200
  2. +++ configure 2014-01-27 21:55:40.687273108 +0200
  3. @@ -7949,10 +7949,10 @@
  4. $as_echo "$kversion" >&6; }
  5. if test "$version" -ge 3; then
  6. - if test "$version" = 3 && test "$patchlevel" -le 10; then
  7. + if test "$version" = 3 && test "$patchlevel" -le 12; then
  8. : # Linux 3.x
  9. else
  10. - as_fn_error $? "Linux kernel in $KBUILD is version $kversion, but version newer than 3.10.x is not supported" "$LINENO" 5
  11. + as_fn_error $? "Linux kernel in $KBUILD is version $kversion, but version newer than 3.12.x is not supported" "$LINENO" 5
  12. fi
  13. else
  14. if test "$version" -le 1 || test "$patchlevel" -le 5 || test "$sublevel" -le 31; then