]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: honor DESTDIR
authorfennecdjay <astor.jeremie@wanadoo.fr>
Tue, 3 Sep 2019 19:17:38 +0000 (21:17 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Tue, 3 Sep 2019 19:17:38 +0000 (21:17 +0200)
Makefile

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