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

m-labs · Feb 8, 2012 · 0654bf4 · 0654bf4
1 parent bfd2bf4
commit 0654bf4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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