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 /firmwares/arduino-usbserial/makefile | |
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 'firmwares/arduino-usbserial/makefile')
0 files changed, 0 insertions, 0 deletions