Re: [PATCH] [LTO] Avoid path name with // when installing lto-dump

2019-08-01 Thread Richard Biener
On Thu, 1 Aug 2019, Bernd Edlinger wrote: > Hi! > > > I've noticed the following when looking at the output from make install: > > /usr/bin/install -c lto-dump \ > //home/ed/gnu/install/bin/lto-dump > > Note the "//" before the $(bindir) path, which > is itself already an absolute path name st

[PATCH] [LTO] Avoid path name with // when installing lto-dump

2019-08-01 Thread Bernd Edlinger
Hi! I've noticed the following when looking at the output from make install: /usr/bin/install -c lto-dump \ //home/ed/gnu/install/bin/lto-dump Note the "//" before the $(bindir) path, which is itself already an absolute path name starting with a /. While it is harmless on linux, it might be co