diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-08-19 17:52:04 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-08-19 17:52:04 (GMT) |
commit | 4de6139e7ed8927c1d7c3f72f5efae697a3bd7ca (patch) | |
tree | 9bd09638b85d7ad2d3aaaf4b8d4f308b0f3433cf /configure | |
parent | 9d1cbf2b4145a6ff0ac4834be3459320b35ee7a0 (diff) | |
parent | 83a48e12f08e375bddd42ca27eab4896234a42b8 (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')
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 \ |