diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-01-16 21:41:53 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-01-16 21:41:53 (GMT) |
commit | 3f9386c0a74cc5db0dc0c0966717308d6b9b7630 (patch) | |
tree | 70547b059655a184c0b684c67ad119a4d23e7c32 /configure | |
parent | 4850e20c267d5a7fca95cf6d177ad92275e78c7e (diff) |
Bail out if /bin/bash does not exist, or if it is not bash>=3.0.
Force make to use /bin/bash as shell.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -125,7 +125,7 @@ fi [ -x /bin/bash ] || do_error "bash 3.0 or above was not found in /bin/bash" bash_version=$(/bin/bash -c 'echo ${BASH_VERSION}') bash_major=$(/bin/bash -c 'echo ${BASH_VERSINFO[0]}') -[ ${bash_major} -ge 3 ] || do_error "bash 3.0 or above is needed (found ${bash_version})" +[ ${bash_major} -ge 3 ] || do_error "bash 3.0 or above is needed (/bin/bash is ${bash_version})" sed -r -e "s,@@BINDIR@@,${BINDIR},g;" \ -e "s,@@LIBDIR@@,${LIBDIR},g;" \ |