diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-09-12 19:38:12 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-09-12 19:38:12 (GMT) |
| commit | 72ad9d45f83c474ccd0b2635d0c796078680cb49 (patch) | |
| tree | 06889f3733a2b148298a89e171ddf3425ff909f4 | |
| parent | 3478b5a0e850e93e0612e009f1bfc7085c2fcc96 (diff) | |
config: change name of default build dir
'targets' is not really meaningfull.
'build' means what it means.
'.build' just hides it as well! :-)
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
| -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 f84abb7..341d207 100644 --- a/config/global/paths.in +++ b/config/global/paths.in @@ -23,7 +23,7 @@ config SAVE_TARBALLS config WORK_DIR string prompt "Working directory" if ! BACKEND - default "${CT_TOP_DIR}/targets" + default "${CT_TOP_DIR}/.build" help Set this to the directory where all build actions will be done. |