diff Makefile.in @ 3044:eb1a22446662

substitute SHELL
author John W. Eaton <jwe@octave.org>
date Wed, 12 Jun 2013 14:09:28 -0400
parents cbfe5d38ff2c
children 4558fcd35fbb
line wrap: on
line diff
--- a/Makefile.in	Wed Jun 12 13:50:50 2013 -0400
+++ b/Makefile.in	Wed Jun 12 14:09:28 2013 -0400
@@ -86,7 +86,7 @@
 PKG_MIRROR         := s3.amazonaws.com/mxe-pkg
 PKG_CDN            := d1yihgixbnrglp.cloudfront.net
 
-SHELL      := bash
+SHELL := @SHELL@
 
 INSTALL    := $(shell ginstall --help >/dev/null 2>&1 && echo g)install
 PATCH      := $(shell gpatch --help >/dev/null 2>&1 && echo g)patch