diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-01-12 18:24:03 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-01-12 18:24:03 (GMT) |
commit | e3a4063ac61b336d96e4c43589e43ab42f9991b6 (patch) | |
tree | 5693326f9d6e08b7f025fac7a748fc0f738e0be0 /samples/armeb-unknown-linux-gnu/crosstool.config | |
parent | 5280cd71beeedfff4d980487e91455405de4e1d2 (diff) |
scripts/functions: change handling of nochdir
- 'nochdir' must be the first option
- have systematic pushd/popd, even if nochdir
Diffstat (limited to 'samples/armeb-unknown-linux-gnu/crosstool.config')
0 files changed, 0 insertions, 0 deletions