Makefile
branchsync
changeset 2872 ea6d9edc7001
parent 2871 4593a7b8b6a8
child 3201 105b50dfaf15
     1.1 --- a/Makefile	Wed Aug 22 18:34:52 2018 +0200
     1.2 +++ b/Makefile	Wed Aug 22 18:55:53 2018 +0200
     1.3 @@ -44,6 +44,11 @@
     1.4  	$(MAKE) -C asn.1 clean
     1.5  	rm -rf test_home
     1.6  
     1.7 +.PHONY: tags
     1.8 +tags:
     1.9 +	$(MAKE) -C asn.1 tags
    1.10 +	$(MAKE) -C src tags
    1.11 +
    1.12  .PHONY: test
    1.13  test: all
    1.14  	$(MAKE) -C test test