I now have a minimal script that reproduces the problem on RHEL5, RHEL6 and Linux Mint 17. The RHEL versions used the versions of ksh that came with them. The Linux Mint test used the 9/29/2014 beta.
#!/bin/ksh -p export PS4='+(${.sh.file##*/}:$LINENO): ${.sh.fun:+${.sh.fun}(): }' set -x type grep -Ed Horch <%28908%29575-8795>
_______________________________________________ ast-users mailing list ast-users@lists.research.att.com http://lists.research.att.com/mailman/listinfo/ast-users