Makefile
branchsync
changeset 4441 4d00e7a28e67
parent 4440 286daefb04f1
child 4442 77be8101fcc6
     1.1 --- a/Makefile	Fri Feb 21 19:34:17 2020 +0100
     1.2 +++ b/Makefile	Fri Feb 21 19:37:09 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 sync clean
     1.8  	$(MAKE) -C asn.1 clean
     1.9 -	$(MAKE) -C sync clean
    1.10  
    1.11  tags:
    1.12  	$(MAKE) -C asn.1 tags