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 starting with a /. > > While it is harmless on linux, it might be confused with > a network path in another well known O/S. > > So I'd like to remove the duplicated slash here. > > Boot-strapped and reg-tested on x86_64-pc-linux-gnu. > > Is it OK for trunk?
OK. Richard.
