diff options
author | Sergei Trofimovich <slyfox@gentoo.org> | 2018-10-20 20:06:56 +0100 |
---|---|---|
committer | Sergei Trofimovich <slyfox@gentoo.org> | 2018-10-20 20:06:56 +0100 |
commit | ef839047331b1fa2b44472e522235350e6cfe28c (patch) | |
tree | a43a926429fda678ff3f19976905f7600ece0959 /crossdev | |
parent | wrappers: use @TOPDIR@ and @PREFIX@ instead of __TOPDIR__ and __PREFIX__ (diff) | |
download | crossdev-ef839047331b1fa2b44472e522235350e6cfe28c.tar.gz crossdev-ef839047331b1fa2b44472e522235350e6cfe28c.tar.bz2 crossdev-ef839047331b1fa2b44472e522235350e6cfe28c.zip |
Makefile: avoid '//' when PREFIX is not set
PREFIX assumes leading '/'. Thus the idiom is
$(DESTDIR)$(PREFIX)/foo
and not
$(DESTDIR)/$(PREFIX)/foo
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Diffstat (limited to 'crossdev')
0 files changed, 0 insertions, 0 deletions