# HG changeset patch
# User Mike Miller <mtmiller@octave.org>
# Date 1504219899 25200
# Node ID ce2a3053aabcd2b227aa63a2c6dbc542efc12bdc
# Parent  698a649c037502635e3111f0fdb4d39d83053a1c
configure: set SHELL to /bin/bash

* configure.ac: Set SHELL to /bin/bash by default.

diff -r 698a649c0375 -r ce2a3053aabc configure.ac
--- a/configure.ac	Thu Aug 31 15:49:33 2017 -0700
+++ b/configure.ac	Thu Aug 31 15:51:39 2017 -0700
@@ -37,10 +37,10 @@
 ### ensure /bin/sh is the default shell so this can be safely ignored by
 ### almost everyone.  However, when building for Android, for example,
 ### this will need to be set.
-SHELL=bash
+SHELL=/bin/bash
 AC_ARG_WITH([shell],
   [AS_HELP_STRING([--with-shell=SHELL],
-    [use SHELL as the shell interpreter (default: bash)])])
+    [use SHELL as the shell interpreter (default: /bin/bash)])])
 case $with_shell in
   no)
     AC_MSG_ERROR([A shell interpreter is required])