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

index 9866803fe06c59dfc060304f0913494ea6c94bda..9e96c248ff63e40bdf64ea3975ad0e82b85b6795 100644 (file)
--- 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}