Makefile
changeset 2216 ef23982e4744
parent 2213 04052cc0c922
child 2265 73c0738de68c
     1.1 --- a/Makefile	Thu Oct 26 17:32:18 2017 +0200
     1.2 +++ b/Makefile	Thu Oct 26 17:32:53 2017 +0200
     1.3 @@ -43,6 +43,7 @@
     1.4  	$(MAKE) -C db clean
     1.5  	$(MAKE) -C sync clean
     1.6  	$(MAKE) -C asn.1 clean
     1.7 +	rm -rf test_home
     1.8  
     1.9  .PHONY: test
    1.10  test: all