On 12/15/15 12:04 PM, up201407...@alunos.dcc.fc.up.pt wrote:
> $ bash --version
> GNU bash, version 4.2.53(1)-release (x86_64-redhat-linux-gnu)
>
> Or did you just patch it, since you used "../bash-4.3-patched/bash ./x19" ?
No. bash-4.3-patched/bash is bash-4.3.42 (to distinguish it from bash-4.3
as initially released). Clearly this changed between bash-4.2 and
bash-4.3.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/
