diff options
| author | WestfW <westfw@gmail.com> | 2011-10-05 01:41:03 -0700 |
|---|---|---|
| committer | WestfW <westfw@gmail.com> | 2011-10-05 01:41:03 -0700 |
| commit | 4b7c12b7cbd7a9575814040da1d182106638e9c0 (patch) | |
| tree | 5214e7409668fbcb37a30fbc0cc3f8ef7ec3c7bf /boards.txt | |
| parent | 8628479d7039247395bea6ea6f0c8bdab8f696bc (diff) | |
Explicitly set the SHELL variable when OS=windows, so that we'll use
the same shell regardless of whether other shells are installed
(different shells have different behavior WRT directory component
separators, so this matters.
http://code.google.com/p/arduino/issues/detail?id=667 )
Diffstat (limited to 'boards.txt')
0 files changed, 0 insertions, 0 deletions