summaryrefslogtreecommitdiff
path: root/config/config.in
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-03-29 18:15:25 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-03-29 18:15:25 (GMT)
commit712f0c9919a43cac22ef0bfa8f0cb07f24e810db (patch)
tree2e0a9c17fed9391b240d369cef5f4817c356c6dd /config/config.in
parenteb765a2a46fea273e582cb26720344e8e3e617a9 (diff)
config: move backend-related options to their own file
Diffstat (limited to 'config/config.in')
-rw-r--r--config/config.in3
1 files changed, 3 insertions, 0 deletions
diff --git a/config/config.in b/config/config.in
index d7f3bc7..a013f94 100644
--- a/config/config.in
+++ b/config/config.in
@@ -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/libc.in
source config/debug.in
source config/companion_libs.in
source config/companion_tools.in
+endif # ! BACKEND_ERROR