Makefile
branchsync
changeset 4440 286daefb04f1
parent 4433 f541b2be04f5
child 4441 4d00e7a28e67
     1.1 --- a/Makefile	Fri Feb 21 18:28:18 2020 +0100
     1.2 +++ b/Makefile	Fri Feb 21 19:34:17 2020 +0100
     1.3 @@ -52,8 +52,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