| commit | 298192ed21763818b6144b3571e4945853ddfb2b | |
| author | Stefan Becker <chemobejk@gmail.com> | |
| Tue, 15 Oct 2019 16:51:06 +0000 (15 19:51 +0300) | ||
| committer | Stefan Becker <chemobejk@gmail.com> | |
| Tue, 15 Oct 2019 16:51:06 +0000 (15 19:51 +0300) | ||
| tree | 44360e24866509cb8e7ba0fc3743a36cfbbedd81 | treesnapshot (tar.gz zip) |
| parent | 8bce2b010d951f1a6719b4675beb5f7de9041bb5 | commitdiff |
contrib: make sure V&V features are really enabled
Update package files to add "--with-vv" to configure on those platforms
where V&V features should be enabled. This makes sure that the build
fails if for some reason configure can't enable V&V features.
Update package files to add "--with-vv" to configure on those platforms
where V&V features should be enabled. This makes sure that the build
fails if for some reason configure can't enable V&V features.