diff -r 2a44af825e60 -r bd2529ef6665 configure --- a/configure Fri Sep 09 15:34:04 2011 +0200 +++ b/configure Sat Oct 08 22:57:21 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" #---------------------------------------------------------------------