Makefile
branchgrind_and_cleanup
changeset 4435 64c9d3bf0d77
parent 4415 7f0084a88882
child 4439 e83131d4854e
     1.1 --- a/Makefile	Mon Feb 17 11:21:30 2020 +0100
     1.2 +++ b/Makefile	Thu Feb 20 15:30:27 2020 +0100
     1.3 @@ -51,8 +51,8 @@
     1.4  	$(MAKE) -C src clean
     1.5  	$(MAKE) -C test clean
     1.6  	$(MAKE) -C db clean
     1.7 +	$(MAKE) -C asn.1 clean
     1.8  	$(MAKE) -C sync clean
     1.9 -	$(MAKE) -C asn.1 clean
    1.10  
    1.11  tags:
    1.12  	$(MAKE) -C asn.1 tags