Browse Source

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).
Jean-Sébastien Pédron 5 years ago
parent
commit
764f9a2526
1 changed files with 1 additions and 1 deletions
  1. 1 1
      plugins/concuerror.mk

+ 1 - 1
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)