From 764f9a25267aec343b245ced5bc054e87cc76938 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jean-S=C3=A9bastien=20P=C3=A9dron?= Date: Tue, 23 Jun 2020 11:51:17 +0200 Subject: 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). --- plugins/concuerror.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- cgit v1.2.3