update configure script

This commit is contained in:
Stephan Meier 2020-02-12 15:04:49 +01:00
parent 5cd7a08f8e
commit 7b4b6aa5ca

4212
configure vendored

File diff suppressed because it is too large Load Diff