config/global.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Jan 12 19:24:03 2010 +0100 (2010-01-12)
changeset 1761 88020b2c3246
parent 693 458facedc485
child 2040 c0162f201864
permissions -rw-r--r--
scripts/functions: change handling of nochdir

- 'nochdir' must be the first option
- have systematic pushd/popd, even if nochdir
yann@1
     1
# Overall toolchain configuration: paths, jobs, etc...
yann@1
     2
yann@1
     3
menu "Paths and misc options"
yann@1
     4
yann@446
     5
source "config/global/ct-behave.in"
yann@694
     6
source "config/global/paths.in"
yann@693
     7
source "config/global/download.in"
yann@693
     8
source "config/global/extract.in"
yann@446
     9
source "config/global/build-behave.in"
yann@446
    10
source "config/global/logging.in"
yann@1
    11
yann@1
    12
endmenu