diff options
Diffstat (limited to 'config/config.in')
-rw-r--r-- | config/config.in | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/config/config.in b/config/config.in index a013f94f..ab71d1a6 100644 --- a/config/config.in +++ b/config/config.in @@ -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 |