diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2021-02-25 11:49:28 +0100 |
|---|---|---|
| committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2021-02-25 11:49:31 +0100 |
| commit | f111e65b7dccb06e40468f516cc57464594dbb13 (patch) | |
| tree | 3d70883ee3fe629acdf657be1f86924cd9706dc3 /patches | |
| parent | 5a920c7e62a48e835ec5b3667b91eb09da473b25 (diff) | |
| download | vendor_replicant-scripts-f111e65b7dccb06e40468f516cc57464594dbb13.tar.gz vendor_replicant-scripts-f111e65b7dccb06e40468f516cc57464594dbb13.tar.bz2 vendor_replicant-scripts-f111e65b7dccb06e40468f516cc57464594dbb13.zip | |
replicant_prepare_patch.py: fix Makefile bug
Without that fix, the install target will fail if a file named
install is present in the same directory than the Makefile.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Diffstat (limited to 'patches')
| -rw-r--r-- | patches/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/patches/Makefile b/patches/Makefile index a22a5fc..64a3f64 100644 --- a/patches/Makefile +++ b/patches/Makefile @@ -1,5 +1,6 @@ DESTDIR ?= /usr/local/bin INSTALL ?= install +.PHONY: install install: $(INSTALL) -m 755 replicant_prepare_patch.py -t $(DESTDIR) |