On Wed, 23 Oct 2019 15:18:45 +0100, Peter Humphrey wrote: > > Yes. It also updates symlinks to all three if you are already using > > symlinks. > > Make install doesn't use symlinks here. This is a UEFI box with /boot > formatted FAT32, so the three files are copied, not linked to.
"if you are already using symlinks". It only updates the symlinks if they already exist, it won't try to create them from scratch, even if the filesystem supports it. -- Neil Bothwick Adolescence, n.: The stage between puberty and adultery.
pgpq51lmLN7Vp.pgp
Description: OpenPGP digital signature