Makefile
changeset 1919 335cdc692960
parent 1513 e7f7e42385b5
child 1949 8e0514c0ba2d
child 1988 ea7bceda4dc8
     1.1 --- a/Makefile	Wed Jul 12 14:16:27 2017 +0200
     1.2 +++ b/Makefile	Wed Jul 12 18:22:49 2017 +0200
     1.3 @@ -17,6 +17,7 @@
     1.4  
     1.5  install: all
     1.6  	$(MAKE) -C src install
     1.7 +	$(MAKE) -C asn.1 install
     1.8  
     1.9  uninstall:
    1.10  	$(MAKE) -C src uninstall