PATCH: make_relative_prefix oddity

[Alexandre Oliva]

On Mar 13, 2007, Mark Mitchell <mark@codesourcery.com> wrote:

> It treats only "/opt" as a common component of the two paths, rathe
> than "/opt/foo".  If you use "/opt/foo/" (instead of "/opt/foo") for
> the last argument, the answer is as I expected.  This seems odd to me;
> is it the intended behavior?

IIRC this is intended behavior, to enable stuff such as
"/some/dir-suffix" and "/another/different-suffix" to generate the
correct relative pathnames, when given "/some/dir" as prefix.

-- 
Alexandre Oliva         http://www.lsd.ic.unicamp.br/~oliva/
FSF Latin America Board Member         http://www.fsfla.org/
Red Hat Compiler Engineer   aoliva@{redhat.com, gcc.gnu.org}
Free Software Evangelist  oliva@{lsd.ic.unicamp.br, gnu.org}