diff options
| author | Marius Bakke <marius@gnu.org> | 2020-10-22 11:57:35 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2020-10-22 18:41:30 +0200 |
| commit | 3e09453884efa82ef97b8ec6e34470c67a1206a7 (patch) | |
| tree | 4f92063c857a47f5390bf43372996c412b97bf69 /NEWS | |
| parent | f343c36dcada94377a2e76486214e9d2f16bd11e (diff) | |
gnu: srt: Disable code coverage checking.
* gnu/packages/networking.scm (srt)[arguments]: Remove
"-DENABLE_CODE_COVERAGE" from #:configure-flags.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions