diff options
| author | Guy Harris <gharris@sonic.net> | 2020-07-14 15:40:13 -0700 |
|---|---|---|
| committer | Guy Harris <gharris@sonic.net> | 2020-07-14 15:40:13 -0700 |
| commit | 30e7209da667e7e9de87f330c64136ee83f0eec5 (patch) | |
| tree | 0575a791e75f512422176e92da192655f1bdaa5d /testprogs/fuzz/fuzz_rclient.c | |
| parent | 1b5e454310d1de44bc985d62290bf72af17a62b8 (diff) | |
configure: "XXX not requested" is "$with_XXX is not no".
with_XXX might be an argument to --with-XXX=; --with-XXX=yyy still
requests XXX, so if we don't find it, we should report an error.
This is the other part of GitHub issue #952.
Diffstat (limited to 'testprogs/fuzz/fuzz_rclient.c')
0 files changed, 0 insertions, 0 deletions