diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-04-01 17:52:54 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-04-01 17:52:54 (GMT) |
commit | ce111fe36f71a9bd732c269eeb5e177809d0dd41 (patch) | |
tree | 16ff3761e0201f1d7ed3e0800627ccb7ed55f39d /config/backend.in | |
parent | 5a6f29c1d12064eba221809c13175ebf3d327321 (diff) |
config: allow libc selection in backend mode
In backend mode, allow the upper-layer build system to force the
C library selection.
Diffstat (limited to 'config/backend.in')
-rw-r--r-- | config/backend.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/backend.in b/config/backend.in index 7dcf4e3..4709fae 100644 --- a/config/backend.in +++ b/config/backend.in @@ -16,3 +16,7 @@ config BACKEND_ARCH config BACKEND_KERNEL string option env="CT_BACKEND_KERNEL" + +config BACKEND_LIBC + string + option env="CT_BACKEND_LIBC" |