bootstrap: Accept 2020s in config.guess version check

sagemath · Jul 13, 2020 · 827923a · 827923a
1 parent a17c655
commit 827923a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bootstrap b/bootstrap
@@ -147,7 +147,7 @@ save () {
     set -e
 
     # Check that config.guess is sufficiently recent
-    if ! grep '^timestamp=.*201[5-9]' config/config.guess >/dev/null; then
+    if ! grep '^timestamp=.*20\(1[5-9]\|2[0-9]\)' config/config.guess >/dev/null; then
         echo >&2 "Error: config.guess is outdated:"
         grep >&2 '^timestamp=' config/config.guess
         echo >&2 "You should update the 'gnuconfig' or 'automake' package and try again"