1 Use the current shell instead of trying to find another one and
4 diff --git a/configure b/configure
5 index f1adb919..7891b4dc 100755
9 # OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
10 # OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
13 -# The #!/bin/sh might be some legacy piece of crap,
14 -# not even up to 1990 POSIX.2 spec. So the first step
15 -# is to look for a better shell in some known places
16 -# and re-execute ourselves with that interpreter.
19 -if test x$txr_shell = x ; then
20 - for shell in /bin/bash /usr/bin/bash /usr/xpg4/bin/sh ; do
21 - if test -x $shell ; then
26 - if test x$txr_shell = x ; then
27 - echo "No known POSIX shell found: falling back on /bin/sh, which may not work"
31 - exec $txr_shell $0 ${@+"$@"}
37 @@ -190,13 +168,6 @@ while [ $# -gt 0 ] ; do
41 - eval "var_exists=\${$var+y}"
43 - if [ "$var_exists" != y ] ; then
44 - printf "$0: nonexistent option: '%s'\n" "$1"
50 eval "var_given_exists=\${${var}_given+y}"
51 @@ -208,6 +179,8 @@ while [ $# -gt 0 ] ; do
55 +txr_shell=$CONFIG_SHELL
58 # If --help was given (or --help=<nonempty> or help=<nonempty>) then
59 # print help and exit. The termination status is failed, to indicate