Makefile
branchENGINE-228
changeset 1950 94b1fad41c43
parent 1949 8e0514c0ba2d
child 1955 8ec0b81a659f
     1.1 --- a/Makefile	Fri Aug 11 01:02:14 2017 +0200
     1.2 +++ b/Makefile	Fri Aug 11 01:05:47 2017 +0200
     1.3 @@ -23,6 +23,7 @@
     1.4  .PHONY: uninstall
     1.5  uninstall:
     1.6  	$(MAKE) -C src uninstall
     1.7 +	$(MAKE) -C asn.1 uninstall
     1.8  
     1.9  .PHONY: clean
    1.10  clean: