diff options
| author | Loïc Hoguin <[email protected]> | 2020-06-18 15:02:43 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2020-06-18 15:02:43 +0200 |
| commit | 9de378e9b0489775a41dedea085e9d77ca52e256 (patch) | |
| tree | 0ce6954a8230747a5310be4bdb99878c856a159f /build.config | |
| parent | 944c69634a4914684ce0d4eaf0b4f5950e06993a (diff) | |
| download | erlang.mk-9de378e9b0489775a41dedea085e9d77ca52e256.tar.gz erlang.mk-9de378e9b0489775a41dedea085e9d77ca52e256.tar.bz2 erlang.mk-9de378e9b0489775a41dedea085e9d77ca52e256.zip | |
Add initial Concuerror integration
https://concuerror.com/
Diffstat (limited to 'build.config')
| -rw-r--r-- | build.config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build.config b/build.config index bcf2b9a..a0ab7a7 100644 --- a/build.config +++ b/build.config @@ -22,6 +22,7 @@ plugins/asciidoc plugins/bootstrap plugins/c_src plugins/ci +plugins/concuerror plugins/ct plugins/dialyzer plugins/edoc |