diff options
Diffstat (limited to 'make-destdir.patch')
| -rw-r--r-- | make-destdir.patch | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/make-destdir.patch b/make-destdir.patch deleted file mode 100644 index 3109f866bb4c..000000000000 --- a/make-destdir.patch +++ /dev/null @@ -1,24 +0,0 @@ -diff --git a/Makefile b/Makefile -index 1239b9f..764bd65 100644 ---- a/Makefile -+++ b/Makefile -@@ -15,9 +15,9 @@ SHARE = share - - # Install variables: - PREFIX ?= /usr/local --INSTALL_LIB ?= $(shell git --exec-path) -+INSTALL_LIB ?= $(DESTDIR)$(shell git --exec-path) - INSTALL_EXT ?= $(INSTALL_LIB)/$(NAME).d --INSTALL_MAN1 ?= $(PREFIX)/share/man/man1 -+INSTALL_MAN1 ?= $(DESTDIR)$(PREFIX)/share/man/man1 - - # Basic targets: - default: help -@@ -36,6 +36,7 @@ test: - - # Install support: - install: -+ install -C -d -m 0755 $(INSTALL_LIB)/ - install -C -m 0755 $(LIB) $(INSTALL_LIB)/ - install -C -d -m 0755 $(INSTALL_EXT)/ - install -C -m 0755 $(EXTS) $(INSTALL_EXT)/ |