changeset 3317:819e316a7977

mk-dist: Don't use $SHELL in case it is anything other than bash. * mk-dist: Don't call $SHELL ../makeinst-script.sh. Just call script and let #! mechanism sort out the correct shell.
author Rik <rik@octave.org>
date Tue, 12 Nov 2013 14:44:14 -0800
parents f11beaa3e1f0
children 2640cb06f42d
files mk-dist
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/mk-dist	Tue Nov 12 14:40:58 2013 -0800
+++ b/mk-dist	Tue Nov 12 14:44:14 2013 -0800
@@ -124,7 +124,7 @@
 cd $TOPDIR/dist
 
 if [ $installer = "yes" ]; then
-  $SHELL ../makeinst-script.sh $OCTAVE_TARGET-$DATE
+  ../makeinst-script.sh $OCTAVE_TARGET-$DATE
 
   echo "Generating installer ..."
   $TOPDIR/usr/bin/$TARGET-makensis octave.nsi > /dev/null