samples/alphaev56-unknown-linux-gnu/reported.by
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 981 6bc168156c2b
permissions -rw-r--r--
scripts/functions: change handling of nochdir

- 'nochdir' must be the first option
- have systematic pushd/popd, even if nochdir
yann@579
     1
reporter_name="Ioannis E. VENETIS"
yann@1656
     2
reporter_url="http://sourceware.org/ml/crossgcc/2009-11/msg00109.html"
yann@981
     3
reporter_comment=""