diff options
author | Alexey Neyman <stilor@att.net> | 2018-09-27 21:43:04 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-27 21:43:04 (GMT) |
commit | 5f18c3ed4e3af50f18985def9d7d1f640fd9577f (patch) | |
tree | a3cbbcb1be68012b2ae97147446c8d58178fdb28 /config | |
parent | f7c2952419bd8aae95169ea1e95f6e327b28d62b (diff) | |
parent | 2acab2f06197ab34243fc415020ead54d4a9e505 (diff) |
Merge pull request #1036 from stilor/small-fixes
Small fixes
Diffstat (limited to 'config')
-rw-r--r-- | config/global/paths.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/global/paths.in b/config/global/paths.in index 39e15f3..b4e93ee 100644 --- a/config/global/paths.in +++ b/config/global/paths.in @@ -42,7 +42,7 @@ config WORK_DIR config BUILD_TOP_DIR string - default "${CT_WORK_DIR}/${CT_HOST:+HOST-${CT_HOST}/}${CT_TARGET}" + default "${CT_WORK_DIR:-${CT_TOP_DIR}/.build}/${CT_HOST:+HOST-${CT_HOST}/}${CT_TARGET}" config PREFIX_DIR string |