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 | |
| 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).
| -rw-r--r-- | plugins/concuerror.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/concuerror.mk b/plugins/concuerror.mk index ef63add..860ea37 100644 --- a/plugins/concuerror.mk +++ b/plugins/concuerror.mk @@ -22,7 +22,7 @@ endif $(ERLANG_MK_TMP)/Concuerror/bin/concuerror: | $(ERLANG_MK_TMP) $(verbose) git clone https://github.com/parapluu/Concuerror $(ERLANG_MK_TMP)/Concuerror - $(verbose) make -C $(ERLANG_MK_TMP)/Concuerror + $(verbose) $(MAKE) -C $(ERLANG_MK_TMP)/Concuerror $(CONCUERROR_LOGS_DIR): $(verbose) mkdir -p $(CONCUERROR_LOGS_DIR) |