mathlib
3109c4b3 - chore(purge_olean.sh): a few small improvements (#661)

Commit
6 years ago
chore(purge_olean.sh): a few small improvements (#661) * purge empty directories * Only print if an .olean is rm'd. This reduces the noise and reduces the script run time. * use git top-level dir to make the script relocatable * only affect src and test dirs * use bash instead of sed
Author
spl spl
Committer
Parents
Loading