diff -r 2a44af825e60 -r fcf5c43cf30f configure --- a/configure Fri Sep 09 15:34:04 2011 +0200 +++ b/configure Mon Oct 10 00:00:58 2011 +0200 @@ -609,6 +609,7 @@ has_or_warn inc="${python_incs}" \ lib="${python_libs}" \ lib_exts="${libs_exts}" \ + kconfig=has_python \ err="The 'python' header file and library are needed for some features of cross-gdb" #---------------------------------------------------------------------