Sorry, I was unclear. In this case, <command> is not the shell builtin, it's any random command. In my case, it happened with make, gmake and grep, e.g.
grep is a tracked alias for /bin/.sh.grep -Ed Horch
_______________________________________________ ast-users mailing list ast-users@lists.research.att.com http://lists.research.att.com/mailman/listinfo/ast-users