diff options
author | Florian Dold <florian.dold@gmail.com> | 2020-08-03 13:37:57 +0530 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2020-08-03 13:37:57 +0530 |
commit | c76fb9b3af6ec43f2d2a83e6b4f523dcc5ac6a54 (patch) | |
tree | bb6fa8fb1312568e2697cf1e4cc807281381ffba /coverage.sh | |
parent | f65d933845faa73a864cce17a8ccd575d8da9f10 (diff) | |
download | build-common-c76fb9b3af6ec43f2d2a83e6b4f523dcc5ac6a54.tar.gz build-common-c76fb9b3af6ec43f2d2a83e6b4f523dcc5ac6a54.tar.bz2 build-common-c76fb9b3af6ec43f2d2a83e6b4f523dcc5ac6a54.zip |
configure, make hint optional
Diffstat (limited to 'coverage.sh')
0 files changed, 0 insertions, 0 deletions