# HG changeset patch
# User Rik <rik@octave.org>
# Date 1384296254 28800
# Node ID 819e316a79771c153210055ec4a67752254fe0a9
# Parent  f11beaa3e1f030ef924d6e93a6956974fa03ec07
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.

diff -r f11beaa3e1f0 -r 819e316a7977 mk-dist
--- 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