diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2020-06-05 17:13:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-05 18:13:40 +0200 |
| commit | d0051d0092e6dab250018da81d931ab53091f5cf (patch) | |
| tree | 09ded163b3132327a101256edf57370619296d9d /tools | |
| parent | ae5eb6b4719b7fafa062dd983c5dbdbd295e70c1 (diff) | |
| download | ocaml-d0051d0092e6dab250018da81d931ab53091f5cf.tar.gz | |
Fix tools/check-typo for mawk 1.3.4 (#9644)
Closes: #9643
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/check-typo | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/tools/check-typo b/tools/check-typo index 6da3c3e6b7..6bd5b3840d 100755 --- a/tools/check-typo +++ b/tools/check-typo @@ -170,9 +170,8 @@ IGNORE_DIRS=" # is faster to optimistically run check-typo on them (and maybe get # out in the middle) than to first check then run. -TEST_AWK='BEGIN {if ("a{1}" ~ /a{1}/) exit 0}' -if $OCAML_CT_AWK "$TEST_AWK" ; then - TEST_AWK='BEGIN {if ("a" ~ /a{1}/) exit 0}' +TEST_AWK='BEGIN {if ("a{1}" ~ /a{1}$/) exit 1}' +if ! $OCAML_CT_AWK "$TEST_AWK" ; then if $OCAML_CT_AWK --re-interval "$TEST_AWK" 2>/dev/null ; then OCAML_CT_AWK="$OCAML_CT_AWK --re-interval" else |