diff -r 619a87a01562 -r a4c4e51aa541 config/config.in
--- a/config/config.in	Mon Mar 29 20:15:25 2010 +0200
+++ b/config/config.in	Mon Mar 29 20:24:50 2010 +0200
@@ -1,13 +1,13 @@
-source config/backend.in
+source "config/backend.in"
 if ! BACKEND_ERROR
-source config/global.in
-source config/target.in
-source config/toolchain.in
-source config/kernel.in
-source config/binutils.in
-source config/cc.in
-source config/libc.in
-source config/debug.in
-source config/companion_libs.in
-source config/companion_tools.in
+source "config/global.in"
+source "config/target.in"
+source "config/toolchain.in"
+source "config/kernel.in"
+source "config/binutils.in"
+source "config/cc.in"
+source "config/libc.in"
+source "config/debug.in"
+source "config/companion_libs.in"
+source "config/companion_tools.in"
 endif # ! BACKEND_ERROR