tree 18212b9982894cbb0bafa7a675e9cc7f0fa6e3c3
parent a0ba9f45fb0c9f3e34d5a2b25e45b7e5d5cac9a4
author Eric Andersen <andersen@codepoet.org> 989013864 -0000
committer Eric Andersen <andersen@codepoet.org> 989013864 -0000

Larry suggested using concat_path_file() would be an even safer bet
for 'which'.  I ageed, so I whipped this up -- which revealed a bug in
concat_path_file.  It turns out that that a '/' can be appended from
either the path _or_ the filename, but only the former was checked.
 -Erik