The non-standard configure script did not detect it, and we have to supply this argument. This closes #113742main
parent
600d32b5bf
commit
4317c93104
Loading…
Reference in new issue