build: Refactor configure.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sat, 21 Jul 2018 19:20:48 +0000 (21:20 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sat, 21 Jul 2018 19:20:48 +0000 (21:20 +0200)
commit4072046a2ba341217542b70f6db9213ff2b5e2a6
tree68fed6430dc2eabb48a542ffacb70dc0e7b5a53d
parent5d3fa50384f952d38afbfe6829fd73c97a6ad016
build: Refactor configure.

* configure: Refactor.
configure