#!/bin/sh

# cleanup.sh
# complete cleanup,  ./cleanup.sh all
# partial,           ./cleanup.sh

sidx=$1

#complete
if [ "$sidx" = "all" ]; then
   rm -rf *.pem
   rm -rf *.der
   rm -rf *yap_clauses
   rm -rf *test.log
   rm -rf sfile*
   rm -rf *.cn
   rm -rf *creds_dump
#partial
else
   rm -rf *.pem
   rm -rf *.der
   rm -rf my_*_yap_clauses
   rm -rf *_creds_dump
   rm -rf *_result.sha
   rm -rf sfile*
fi


