From 0654bf45833f20d0214ee8cd0fbacf6774c01b80 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sebastien@milkymist.org>
Date: Wed, 8 Feb 2012 15:09:07 +0100
Subject: [PATCH] tools: use install and /usr/local (as suggested by David
 Kuehling)

---
 tools/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/Makefile b/tools/Makefile
index 3c1e3079..a880230b 100644
--- 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
 
-- 
2.30.2