# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1558658922 -10800
# Node ID 85f76ec1509053af60c68e5a03dee29c9914e7cd
# Parent  510ea816d1ff226741890780c1029b8e430330dd
Support DESTDIR for 'make install'.

diff -r 510ea816d1ff -r 85f76ec15090 Makefile
--- a/Makefile	Fri May 24 02:29:27 2019 +0300
+++ b/Makefile	Fri May 24 03:48:42 2019 +0300
@@ -32,4 +32,4 @@
 
 
 install: all
-	@for fn in $(TOOL_TARGETS); do echo " INSTALL $$fn $(PREFIX)/bin/"; $(INSTALL) -m 755 "$$fn" $(PREFIX)/bin/; done
+	@for fn in $(TOOL_TARGETS); do echo " INSTALL $$fn $(DESTDIR)$(PREFIX)/bin/"; $(INSTALL) -m 755 "$$fn" $(DESTDIR)$(PREFIX)/bin/; done