diff -r 5f222264bb54 -r dc39960ecfd2 config/config.in
--- a/config/config.in	Tue Jan 12 21:09:30 2010 +0100
+++ b/config/config.in	Mon Mar 29 10:03:29 2010 +0200
@@ -6,6 +6,5 @@
 source config/cc.in
 source config/libc.in
 source config/debug.in
-source config/tools.in
 source config/companion_libs.in
 source config/companion_tools.in