On 12/15/15 12:04 PM, [email protected] 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 [email protected] http://cnswww.cns.cwru.edu/~chet/
