make install DESTDIR

[aj]

On Aug 23, 2:23 pm, "Martin v. Loewis" <mar... at v.loewis.de> wrote:
> > Martin- Asking for help :)
>
> Ok. Please try the patch below.
>
> If this works, please make a bug report.
>
> Regards,
> Martin
>
> Index: Lib/distutils/util.py
> ===================================================================
> --- Lib/distutils/util.py       (Revision 84197)
> +++ Lib/distutils/util.py       (Arbeitskopie)
> @@ -220,7 +220,7 @@
>          if not os.path.isabs(pathname):
>              return os.path.join(new_root, pathname)
>          else:
> -            return os.path.join(new_root, pathname[1:])
> +            return os.path.join(new_root, pathname.lstrip('/'))
>
>      elif os.name == 'nt':
>          (drive, path) = os.path.splitdrive(pathname)

Thanks Martin. That seems to work. I will file a bug report. Also, can
you describe what the problem was?