diff -r 02b74bd4373f -r 619a87a01562 config/config.in --- a/config/config.in Wed Mar 17 00:21:57 2010 +0100 +++ b/config/config.in Mon Mar 29 20:15:25 2010 +0200 @@ -1,3 +1,5 @@ +source config/backend.in +if ! BACKEND_ERROR source config/global.in source config/target.in source config/toolchain.in @@ -8,3 +10,4 @@ source config/debug.in source config/companion_libs.in source config/companion_tools.in +endif # ! BACKEND_ERROR