diff -r c2d0b8c87386 -r ef453652ccc7 config/config.in --- a/config/config.in Sun Aug 30 19:34:08 2009 +0200 +++ b/config/config.in Thu Jan 14 18:44:13 2010 +0100 @@ -8,3 +8,4 @@ source config/debug.in source config/tools.in source config/companion_libs.in +source config/companion_tools.in