- Fixed problems with shell redirection on non-bash systems. (kou)
[git-p4: depot-paths = "//src/hoe/dev/": change = 8650]