samples/arm-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 826 73e56967ad3f
permissions -rw-r--r--
scripts/functions: change handling of nochdir

- 'nochdir' must be the first option
- have systematic pushd/popd, even if nochdir
yann@826
     1
reporter_name="Matthias KAEHLCKE"
yann@826
     2
reporter_url="http://sourceware.org/ml/crossgcc/2008-08/msg00055.html"
yann@986
     3
reporter_comment=""