Makefile
changeset 810 0c07d4583315
parent 742 f30c0071ef5c
child 878 9ab0833d2c8b
     1.1 --- a/Makefile	Sat Jul 09 11:38:20 2016 +0200
     1.2 +++ b/Makefile	Sat Jul 09 11:43:51 2016 +0200
     1.3 @@ -18,6 +18,7 @@
     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  
    1.10  test: all