| Davide Pesavento | d776a93 | 2020-03-20 18:42:36 -0400 | [diff] [blame^] | 1 | #!/usr/bin/env bash |
| 2 | set -e | ||||
| 3 | |||||
| 4 | JDIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) | ||||
| 5 | source "$JDIR"/util.sh | ||||
| 6 | |||||
| 7 | set -x | ||||
| 8 | |||||
| 9 | sudo rm -f /usr/local/bin/ndnsec* | ||||
| 10 | sudo rm -fr /usr/local/include/ndn-cxx | ||||
| 11 | sudo rm -f /usr/local/lib{,64}/libndn-cxx* | ||||
| 12 | sudo rm -f /usr/local/lib{,64}/pkgconfig/libndn-cxx.pc | ||||