config/config.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 1498 c2d0b8c87386
child 1854 02b74bd4373f
permissions -rw-r--r--
scripts/functions: change handling of nochdir

- 'nochdir' must be the first option
- have systematic pushd/popd, even if nochdir
     1 source config/global.in
     2 source config/target.in
     3 source config/toolchain.in
     4 source config/kernel.in
     5 source config/binutils.in
     6 source config/cc.in
     7 source config/libc.in
     8 source config/debug.in
     9 source config/tools.in
    10 source config/companion_libs.in
    11 source config/companion_tools.in