aboutsummaryrefslogtreecommitdiffstats
path: root/plugins/concuerror.mk
AgeCommit message (Collapse)Author
2020-06-23plugins/concuerror.mk: Use $(MAKE) instead of hard-coding `make`Jean-Sébastien Pédron
This fixes the plugin when e.g. GNU Make is installed as `gmake` (and `make` is another incompatible implementation).
2020-06-18Add initial Concuerror integrationLoïc Hoguin
https://concuerror.com/