#!/bin/bash
cd ${0%/*} || exit 1    # run from this directory

echo
echo "Cleaning ThirdParty"

\rm -rf eigen3
\rm -rf petsc
