tools: print an error message, when make
is needed, but is missing …
#4686
Job | Run time |
---|---|
2m 18s | |
21s | |
3m 31s | |
6m 10s |
make
is needed, but is missing …
#4686
Job | Run time |
---|---|
2m 18s | |
21s | |
3m 31s | |
6m 10s |