annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3963
9d402d735dd1 nsis-installer: add bash window menu if devel tools enabled
John Donoghue
parents:
diff changeset
1 @echo off
9d402d735dd1 nsis-installer: add bash window menu if devel tools enabled
John Donoghue
parents:
diff changeset
2
9d402d735dd1 nsis-installer: add bash window menu if devel tools enabled
John Donoghue
parents:
diff changeset
3 set OCT_HOME=%~dp0
9d402d735dd1 nsis-installer: add bash window menu if devel tools enabled
John Donoghue
parents:
diff changeset
4
9d402d735dd1 nsis-installer: add bash window menu if devel tools enabled
John Donoghue
parents:
diff changeset
5 Rem Set up PATH. Make sure the octave bin dir
9d402d735dd1 nsis-installer: add bash window menu if devel tools enabled
John Donoghue
parents:
diff changeset
6 Rem comes first.
9d402d735dd1 nsis-installer: add bash window menu if devel tools enabled
John Donoghue
parents:
diff changeset
7
9d402d735dd1 nsis-installer: add bash window menu if devel tools enabled
John Donoghue
parents:
diff changeset
8 set PATH=%OCT_HOME%bin;%PATH%
9d402d735dd1 nsis-installer: add bash window menu if devel tools enabled
John Donoghue
parents:
diff changeset
9 set TERM=cygwin
9d402d735dd1 nsis-installer: add bash window menu if devel tools enabled
John Donoghue
parents:
diff changeset
10
9d402d735dd1 nsis-installer: add bash window menu if devel tools enabled
John Donoghue
parents:
diff changeset
11 %OCT_HOME%\bin\bash.exe
9d402d735dd1 nsis-installer: add bash window menu if devel tools enabled
John Donoghue
parents:
diff changeset
12
9d402d735dd1 nsis-installer: add bash window menu if devel tools enabled
John Donoghue
parents:
diff changeset
13