diff -r c2d0b8c87386 -r e4d145e75e54 config/config.in --- a/config/config.in Sun Aug 30 19:34:08 2009 +0200 +++ b/config/config.in Sat Jan 30 16:19:50 2010 +0100 @@ -8,3 +8,4 @@ source config/debug.in source config/tools.in source config/companion_libs.in +source config/companion_tools.in