diff options
| author | Jean-Sébastien Pédron <[email protected]> | 2020-06-23 11:51:17 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2020-06-23 12:59:57 +0200 |
| commit | 764f9a25267aec343b245ced5bc054e87cc76938 (patch) | |
| tree | f67c006e6145b91ed005718a30998caef73e40a6 /core/deps-tools.mk | |
| parent | 213974ff32fee625f9234efb345806ea218dfe1e (diff) | |
| download | erlang.mk-764f9a25267aec343b245ced5bc054e87cc76938.tar.gz erlang.mk-764f9a25267aec343b245ced5bc054e87cc76938.tar.bz2 erlang.mk-764f9a25267aec343b245ced5bc054e87cc76938.zip | |
plugins/concuerror.mk: Use $(MAKE) instead of hard-coding `make`
This fixes the plugin when e.g. GNU Make is installed as `gmake` (and
`make` is another incompatible implementation).
Diffstat (limited to 'core/deps-tools.mk')
0 files changed, 0 insertions, 0 deletions