]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Improve uninstall
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sat, 8 Aug 2020 11:21:38 +0000 (13:21 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sat, 8 Aug 2020 11:21:38 +0000 (13:21 +0200)
Makefile

index d06d293d8b92f0cdd73ed87a2cdebdd658b6742f..dc26b736bea93c20478b7a958fee599e792c5052 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -106,8 +106,10 @@ install: ${PRG}
 
 uninstall:
        $(info uninstalling ${GWION_PACKAGE} from ${PREFIX})
-       @rm -rf ${DESTDIR}/${PREFIX}/bin/${PRG}
-       @rm -rf ${DESTDIR}/${PREFIX}/include/gwion
+       @rm ${DESTDIR}/${PREFIX}/bin/${PRG}
+       @rm ${DESTDIR}/${PREFIX}/lib/lib${PRG}.a
+       @rm ${DESTDIR}/${PREFIX}/include/gwion/*.h
+       @rmdir --ignore-fail-on-non-empty ${DESTDIR}/${PREFIX}/include/gwion
 
 test:
        @bash scripts/test.sh ${test_dir}