diff options
Diffstat (limited to 'config/global')
-rw-r--r-- | config/global/paths.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/config/global/paths.in b/config/global/paths.in index 308d8d11..5313d0d0 100644 --- a/config/global/paths.in +++ b/config/global/paths.in @@ -40,10 +40,14 @@ config WORK_DIR Do *NOT* change it if you don't know better. +config BUILD_TOP_DIR + string + default "${CT_WORK_DIR}/${CT_HOST:+HOST-${CT_HOST}/}${CT_TARGET}" + config PREFIX_DIR string prompt "Prefix directory" if ! BACKEND - default "${HOME}/x-tools/${CT_HOST:+HOST-${CT_HOST}/}${CT_TARGET}" + default "${CT_PREFIX:-${HOME}/x-tools}/${CT_HOST:+HOST-${CT_HOST}/}${CT_TARGET}" help This is the path the toolchain will run from. |