diff options
-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) |