diff options
author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2023-08-02 16:58:24 +0200 |
---|---|---|
committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2023-08-07 15:00:19 +0200 |
commit | 88b0cbd6cc17a176e73f587f7fdff63d635fb9c0 (patch) | |
tree | 7876af74977aefc11a3f7f69b0964db29a1db40e | |
parent | e77bc0ef769a0a93b8c3d23683da029c530c445c (diff) | |
download | vendor_replicant-scripts-88b0cbd6cc17a176e73f587f7fdff63d635fb9c0.tar.gz vendor_replicant-scripts-88b0cbd6cc17a176e73f587f7fdff63d635fb9c0.tar.bz2 vendor_replicant-scripts-88b0cbd6cc17a176e73f587f7fdff63d635fb9c0.zip |
replicant_prepare_patch.py: Makefile: fix DESTDIR
Usually DESTDIR correspond to the directory holding /bin.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
-rw-r--r-- | patches/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/patches/Makefile b/patches/Makefile index 1179215..7d2bac7 100644 --- a/patches/Makefile +++ b/patches/Makefile @@ -1,7 +1,7 @@ -DESTDIR ?= /usr/local/bin +DESTDIR ?= /usr/local INSTALL ?= install .PHONY: install install: - $(INSTALL) -D $(DESTDIR) - $(INSTALL) -m 755 replicant_prepare_patch.py -t $(DESTDIR) + $(INSTALL) -D $(DESTDIR)/bin + $(INSTALL) -m 755 replicant_prepare_patch.py -t $(DESTDIR)/bin |