blob: c4840fa4e755d4775e06bf5efea6f00520b44699 [file] [log] [blame]
Davide Pesavento725d3fc2021-11-19 23:37:03 -05001#!/usr/bin/env bash
Davide Pesavento6d1b6722022-08-20 17:54:05 -04002set -exo pipefail
Davide Pesavento725d3fc2021-11-19 23:37:03 -05003
4PROJ=ndncert
5
6sudo rm -f /usr/local/bin/"$PROJ"*
7sudo rm -fr /usr/local/include/"$PROJ"
8sudo rm -f /usr/local/lib{,64}/lib"$PROJ"*
9sudo rm -f /usr/local/lib{,64}/pkgconfig/{,lib}"$PROJ".pc