Jim Meyering <[email protected]> writes: > For the record, I reduced it to this, > where /bin/sh is /usr/local/bin/bash, which is 4.1.7: > > cat <<\EOF > init.cfg > f() > { > case $IFS in '') exit 91;; esac > local s=$IFS > case $s in '') exit 97;; esac > } > f > EOF > $ /bin/sh -c '. init.cfg' > [Exit 97]
Perhaps local isn't really the builtin local? Andreas. -- Andreas Schwab, [email protected] GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different."
