config/config.in
changeset 1869 619a87a01562
parent 1854 02b74bd4373f
child 1870 a4c4e51aa541
     1.1 --- a/config/config.in	Wed Mar 17 00:21:57 2010 +0100
     1.2 +++ b/config/config.in	Mon Mar 29 20:15:25 2010 +0200
     1.3 @@ -1,3 +1,5 @@
     1.4 +source config/backend.in
     1.5 +if ! BACKEND_ERROR
     1.6  source config/global.in
     1.7  source config/target.in
     1.8  source config/toolchain.in
     1.9 @@ -8,3 +10,4 @@
    1.10  source config/debug.in
    1.11  source config/companion_libs.in
    1.12  source config/companion_tools.in
    1.13 +endif # ! BACKEND_ERROR