diff options
author | Bradley Sepos <[email protected]> | 2017-12-06 18:17:00 -0500 |
---|---|---|
committer | Bradley Sepos <[email protected]> | 2017-12-06 18:17:00 -0500 |
commit | 2845916d68a5697765101afab46bf47cb32a7db7 (patch) | |
tree | f65ed4e707e0052033bab2af817fb6c35b94f230 | |
parent | 4dd183cb540f4ccfd41dd79b103547b000b29345 (diff) |
build: Require bash shell.
-rwxr-xr-x | configure | 21 |
1 files changed, 13 insertions, 8 deletions
@@ -13,13 +13,18 @@ inpath() return 1 } -for p in python2.7 python2.6 python2.5 python2.4 python2 python -do - if ( inpath $p ); then - exec $p `dirname $0`/make/configure.py "$@" - exit 0 - fi -done +if ( inpath bash ); then + for p in python2.7 python2.6 python2.5 python2.4 python2 python + do + if ( inpath $p ); then + exec $p `dirname $0`/make/configure.py "$@" + exit 0 + else + echo "ERROR: no suitable version of python found." + fi + done +else + echo "ERROR: bash shell not found." +fi -echo "ERROR: no suitable version of python found." exit 1 |