path: root/configure
diff options
authorYann E. MORIN" <>2009-08-19 17:52:04 (GMT)
committerYann E. MORIN" <>2009-08-19 17:52:04 (GMT)
commit4de6139e7ed8927c1d7c3f72f5efae697a3bd7ca (patch)
tree9bd09638b85d7ad2d3aaaf4b8d4f308b0f3433cf /configure
parent9d1cbf2b4145a6ff0ac4834be3459320b35ee7a0 (diff)
parent83a48e12f08e375bddd42ca27eab4896234a42b8 (diff)
Merge the bash_array branch.
For every components where it makes sense, use bash arrays (instead of a string with space-separated values) to store the options pased to ./configure.
Diffstat (limited to 'configure')
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index 71787a4..8589007 100755
--- a/configure
+++ b/configure
@@ -318,8 +318,8 @@ add_to_var_list sed
# The regular list of tools we can now easily check for
has_or_abort prog=bash \
var=bash \
- ver='^GNU bash, version [34]\.' \
- err="'bash' 3.x or above was not found"
+ ver='^GNU bash, version (3\.[1-9]|4)' \
+ err="'bash' 3.1 or above was not found"
has_or_abort prog=cut
has_or_abort prog=install var=install
has_or_abort prog=make \