diff options
author | Alexey Neyman <stilor@att.net> | 2019-01-15 16:55:12 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-15 16:55:12 (GMT) |
commit | 0364e3cf91a636dea48b6a7a203f9de5c7f1adc2 (patch) | |
tree | 33c5c8e577c8b7183c52bb266a5236fcf26edd79 /configure.ac | |
parent | 0a5107dd421cb9b1629924abed1c7f0cfbe42c46 (diff) | |
parent | b0151f5eb53c5bf70d39512a3d73e529be90bc0a (diff) |
Merge pull request #1127 from julbrygd/master
added the version 5 to the check of bash versions
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 5fd69a7..f5955b3 100644 --- a/configure.ac +++ b/configure.ac @@ -147,7 +147,7 @@ CTNG_PROG_VERSION_REQ_STRICT([BASH_SHELL], [GNU bash >= 3.1], [bash], [bash], - [^GNU bash, version (3\.[1-9]|4)]) + [^GNU bash, version (3\.[1-9]|4|5)]) # We need a awk that *is* GNU awk CTNG_PROG_VERSION_REQ_STRICT([AWK], |