mirrors
/
wmii
mirror of https://github.com/0intro/wmii
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix failed MKDIR when $(DESTDIR) is set.

This commit is contained in:
Kris Maglione 2009-10-13 15:55:17 -04:00
parent 6b0d71843b
commit ee53d79fa8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
mk/hdr.mk
View File

@ -70,7 +70,7 @@ all:
INSTALL= _install() { set -e; \
dashb=$$1; [ $$1 = -b ] && shift; \
d=$$(dirname $$3); \
if [ ! -d $$d ]; then echo MKDIR $$d; mkdir -p $(DESTDIR)$$d; fi; \
if [ ! -d $(DESTDIR)$$d ]; then echo MKDIR $$d; mkdir -p $(DESTDIR)$$d; fi; \
echo INSTALL $$($(CLEANNAME) $(BASE)$$2); \
if [ "$$dashb" = -b ]; \
then cp -f $$2 $(DESTDIR)$$3; \