diff options
| author | Loïc Hoguin <[email protected]> | 2018-05-14 13:55:30 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-05-14 13:55:30 +0200 |
| commit | e344a3027b7cd5d6510cda8c9d80527de11e24f4 (patch) | |
| tree | 872d5c2b4fe50385acfd889c6e9d2cde6fab289c /plugins/c_src.mk | |
| parent | cbcb57ad25e63a8ff7952121b72458e5b2d04355 (diff) | |
| download | erlang.mk-e344a3027b7cd5d6510cda8c9d80527de11e24f4.tar.gz erlang.mk-e344a3027b7cd5d6510cda8c9d80527de11e24f4.tar.bz2 erlang.mk-e344a3027b7cd5d6510cda8c9d80527de11e24f4.zip | |
Don't run cover when there's no ebin files in the directory
Diffstat (limited to 'plugins/c_src.mk')
0 files changed, 0 insertions, 0 deletions