Makefile
branchgrind_and_cleanup
changeset 4439 e83131d4854e
parent 4435 64c9d3bf0d77
parent 4433 f541b2be04f5
     1.1 --- a/Makefile	Fri Feb 21 19:27:39 2020 +0100
     1.2 +++ b/Makefile	Fri Feb 21 19:28:30 2020 +0100
     1.3 @@ -25,7 +25,8 @@
     1.4  	$(MAKE) -C src
     1.5  
     1.6  all: build
     1.7 -	make -C test
     1.8 +# `make all` is not for tests, that's what `make test` is for
     1.9 +#	$(MAKE) -C test
    1.10  
    1.11  sync:
    1.12  	$(MAKE) -C sync