alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

use find to clean to test suite temporary directories

Browse source 
* tests/Makefile.am (distclean-local): Here.
This commit is contained in:
Alexandre Duret-Lutz 2016-01-05 14:46:06 +01:00
parent 6e854b6d83
commit d68db6ad44
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/Makefile.am
View file

@ -40,7 +40,7 @@ TESTS = $(TESTS_sanity) $(TESTS_tl) $(TESTS_graph) $(TESTS_kripke) \
$(TESTS_twa) $(TESTS_python) $(TESTS_ltsmin)
distclean-local:
rm -rf $(TESTS:.test=.dir)
find . -name '*.dir' -type d -print | xargs rm -rf
############################## CORE ##############################