changeset 9661 | bd75edf0e0e2 |
parent 9430 | 460f08008521 |
child 9662 | 597653fe8ea4 |
--- a/configure Wed Nov 28 20:36:53 2018 +0100 +++ b/configure Thu Nov 29 16:16:09 2018 +0100 @@ -404,7 +404,9 @@ then suffixes="5.3 53 -5.3 -53" else - suffixes="5.1 51 -5.1 -51 5.2 52 -5.2 -52 5.3 53 -5.3 -53" + suffixes="5.1 51 -5.1 -51" + suffixes="$suffixes 5.2 52 -5.2 -52" + suffixes="$suffixes 5.3 53 -5.3 -53" fi for suffix in "" $suffixes do