Skip to content
Snippets Groups Projects
Verified Commit b1da9a23 authored by Paolo G. Giarrusso's avatar Paolo G. Giarrusso
Browse files

Makefile: fix recursive invocation to use `$(MAKE)`

Calling `make` is known-bad in many cases, but never as much as here:

```
make[2]: Nothing to be done for `pre-all'.
touch theories/algebra/ofe.vo
touch theories/algebra/monoid.vo
touch theories/algebra/cmra.vo
[...]
touch theories/heap_lang/lib/array.vo
make[2]: Nothing to be done for `post-all'.
make[1]: *** wait: No child processes.  Stop.
gmake: *** [Makefile:3: all] Error 2
```
parent 29aa3576
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment