Davide Pesavento | 725d3fc | 2021-11-19 23:37:03 -0500 | [diff] [blame] | 1 | #!/usr/bin/env bash |
Davide Pesavento | 6d1b672 | 2022-08-20 17:54:05 -0400 | [diff] [blame] | 2 | set -exo pipefail |
Davide Pesavento | 725d3fc | 2021-11-19 23:37:03 -0500 | [diff] [blame] | 3 | |
4 | PROJ=ndncert | ||||
5 | |||||
6 | sudo rm -f /usr/local/bin/"$PROJ"* | ||||
7 | sudo rm -fr /usr/local/include/"$PROJ" | ||||
8 | sudo rm -f /usr/local/lib{,64}/lib"$PROJ"* | ||||
9 | sudo rm -f /usr/local/lib{,64}/pkgconfig/{,lib}"$PROJ".pc |