Update autoconf scripts

Scripts taken from autoconf a8d79c3130da83c7cacd6fee31b9acc53799c406

Update autoconf scripts
Scripts taken from autoconf a8d79c3130da83c7cacd6fee31b9acc53799c406
2ffe559c · Ben Gamari · 41aa5276 · 2ffe559c · 2ffe559c · 2ffe559c
Commit 2ffe559c authored Apr 24, 2019 by Ben Gamari 🐢
6 changed files
--- a/config.guess
+++ b/config.guess
--- a/config.sub
+++ b/config.sub
--- a/libraries/base/config.guess
+++ b/libraries/base/config.guess
--- a/libraries/base/config.sub
+++ b/libraries/base/config.sub
--- a/libraries/integer-gmp/config.guess
+++ b/libraries/integer-gmp/config.guess
--- a/libraries/integer-gmp/config.sub
+++ b/libraries/integer-gmp/config.sub