tools: use install and /usr/local (as suggested by David Kuehling)

diff --git a/tools/Makefile b/tools/Makefile
index 3c1e3079ca37dcfdc62d28ebb0bdc3856c8ad26b..a880230be3859a4b047487c726b21ef37c8e97b9 100644 (file)
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -7,8 +7,8 @@ all: $(TARGETS)
        $(CC) -O2 -Wall -I. -s -o $@ $<
 
 install: mkmmimg flterm
-       cp mkmmimg /usr/bin
-       cp flterm /usr/bin
+       install -d /usr/local/bin
+       install -m755 -t /usr/local/bin $^
 
 .PHONY: clean install