changeset
fix make install
Fri, 09 Jun 2023 21:45:29 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Fri, 09 Jun 2023 21:45:29 +0200
- changeset 752
- 2b153bc3eb57
- parent 751
- 9598ff469033
- child 753
- 8776125fd49c
fix make install
| make/install.mk | file | annotate | diff | comparison | revisions |
--- a/make/install.mk Fri Jun 09 21:39:51 2023 +0200 +++ b/make/install.mk Fri Jun 09 21:45:29 2023 +0200 @@ -30,7 +30,7 @@ include ../config.mk -install: install-dir install-bin +install: @echo "install to $(DESTDIR)$(PREFIX)" ./install-sh -d $(DESTDIR)$(PREFIX)/bin ./install-sh ../build/bin/dav $(DESTDIR)$(PREFIX)/bin
