diff options
| author | WestfW <westfw@gmail.com> | 2011-10-05 01:41:03 -0700 |
|---|---|---|
| committer | David A. Mellis <d.mellis@arduino.cc> | 2011-10-10 12:11:18 -0400 |
| commit | d3bed622e8a2808bd8c8c770bff8b8e67f69272d (patch) | |
| tree | e5e1409676be8ebb586e886c19a22adf9e5fa96e /cores/arduino/WCharacter.h | |
| parent | 915ea3be2a6f453a9ab5f6c248e6695a3e74bf0f (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 )
(cherry picked from commit fc8cacb9a3b7c1d9cf96ae9891c7c3cd21f3c181)
Diffstat (limited to 'cores/arduino/WCharacter.h')
0 files changed, 0 insertions, 0 deletions