build: Update configure.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 20 May 2018 22:06:39 +0000 (00:06 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sun, 20 May 2018 22:06:39 +0000 (00:06 +0200)
commitc6d666bd67b1bde8affce16e4392ffea5854d49e
treef90c720e170a632e7d60ca7ab568165a9bc9f342
parent98ccaceb250175807be069817f3c4463b143be9a
build: Update configure.

* configure: Update.
configure