#!/bin/bash # cd into the directory containing this script (from the bash faq 028) if [[ $BASH_SOURCE = */* ]]; then cd -- "${BASH_SOURCE%/*}/" || exit fi cd .. rm -rf spongefish sigma-proofs sigma-compiler cmz application-lox \ application-lox-zkp application-ooni
