diff installer-files/cmdshell.bat @ 3963:9d402d735dd1

nsis-installer: add bash window menu if devel tools enabled * binary-dist-rules.mk: if devel tools enabled, install cmdshell.bat, fix paths that were in build tools prefix * dist-files.mk: add cmdshell.bat * installer-files/cmdshell.bat: new file * makeinst-script.sh: if cmdshell.bat exists, include in installer, and add shortcut
author John Donoghue
date Tue, 09 Jun 2015 15:12:28 -0400
parents
children 57bc5d4ff660
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/installer-files/cmdshell.bat	Tue Jun 09 15:12:28 2015 -0400
@@ -0,0 +1,13 @@
+@echo off
+
+set OCT_HOME=%~dp0
+
+Rem   Set up PATH. Make sure the octave bin dir
+Rem   comes first.
+
+set PATH=%OCT_HOME%bin;%PATH%
+set TERM=cygwin
+
+%OCT_HOME%\bin\bash.exe
+
+