changeset 4460:ce2a3053aabc

configure: set SHELL to /bin/bash * configure.ac: Set SHELL to /bin/bash by default.
author Mike Miller <mtmiller@octave.org>
date Thu, 31 Aug 2017 15:51:39 -0700
parents 698a649c0375
children cc4433ef0b89
files configure.ac
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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])