Makefile
branchsync
changeset 4431 80fe1dbc31a7
parent 4415 7f0084a88882
child 4433 f541b2be04f5
     1.1 --- a/Makefile	Thu Feb 20 17:36:19 2020 +0100
     1.2 +++ b/Makefile	Fri Feb 21 17:18:55 2020 +0100
     1.3 @@ -25,7 +25,7 @@
     1.4  	$(MAKE) -C src
     1.5  
     1.6  all: build
     1.7 -	make -C test
     1.8 +	$(MAKE) -C test
     1.9  
    1.10  sync:
    1.11  	$(MAKE) -C sync