Makefile
changeset 2271 25bfd109320c
parent 2265 73c0738de68c
child 2683 50dde138a786
     1.1 --- a/Makefile	Thu Nov 02 17:30:01 2017 +0100
     1.2 +++ b/Makefile	Fri Nov 03 13:32:38 2017 +0100
     1.3 @@ -23,6 +23,7 @@
     1.4  all:
     1.5  	$(MAKE) -C asn.1 generate
     1.6  	$(MAKE) -C asn.1
     1.7 +	$(MAKE) -C sync
     1.8  	$(MAKE) -C src all
     1.9  
    1.10  .PHONY: install
    1.11 @@ -40,6 +41,7 @@
    1.12  	$(MAKE) -C src clean
    1.13  	$(MAKE) -C test clean
    1.14  	$(MAKE) -C db clean
    1.15 +	$(MAKE) -C sync clean
    1.16  	$(MAKE) -C asn.1 clean
    1.17  	rm -rf test_home
    1.18