From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Tue, 3 Sep 2019 19:23:58 +0000 (+0200)
Subject: :wrench: honor DESTDIR
X-Git-Tag: nightly~2239
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=a5f7ebcbb4ced23dfb2d5509a1cbc0879de671bd;p=gwion.git

:wrench: honor DESTDIR
---

diff --git a/Makefile b/Makefile
index 9866803f..9e96c248 100644
--- a/Makefile
+++ b/Makefile
@@ -104,12 +104,10 @@ src/arg.o:
 	@echo $@: config.mk >> $(DEPDIR)/$(@F:.o=.d)
 
 install: ${PRG}
-#!	install ${PRG} ${PREFIX}/bin
-	install ${PRG} ${DESTDIR}/bin
+	install ${PRG} ${DESTDIR}/${PREFIX}/bin
 
 uninstall:
-#	rm ${PREFIX}/${PRG}
-	rm ${DESTDIR}/${PRG}
+	rm ${DESTDIR}/${PREFIX}/bin/${PRG}
 
 test:
 	@bash help/test.sh ${test_dir}