Update autoconf scripts
authorBen Gamari <ben@smart-cactus.org>
Wed, 24 Apr 2019 17:10:54 +0000 (13:10 -0400)
committerBen Gamari <ben@well-typed.com>
Thu, 25 Apr 2019 21:16:21 +0000 (17:16 -0400)
commit4811cd398fecd8a900666deebef9074e37afa015
tree018d071557a349043a18a0a79107a6acc2018fa3
parentfaa94d47d8c15053b5bb4f173a7c830a06dc9515
Update autoconf scripts

Scripts taken from autoconf a8d79c3130da83c7cacd6fee31b9acc53799c406
config.guess
config.sub
libraries/base/config.guess
libraries/base/config.sub
libraries/integer-gmp/config.guess
libraries/integer-gmp/config.sub