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