diff options
author | Cristian Maglie <c.maglie@bug.st> | 2013-07-17 14:42:41 +0200 |
---|---|---|
committer | Cristian Maglie <c.maglie@bug.st> | 2013-07-17 14:42:41 +0200 |
commit | 43392fb2b45370f01bcba887d350a0da0bdf4167 (patch) | |
tree | 13896247c2b9b7850fc262e2fe483cbad8f6e0be | |
parent | ff47a782f5c72e7bdf9432a67326439fefa5cd0e (diff) |
Added quoting to usb_product key to preserve double quotes.
See #1422.
-rw-r--r-- | platform.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform.txt b/platform.txt index a0e35c3..6bf3cdb 100644 --- a/platform.txt +++ b/platform.txt @@ -91,4 +91,4 @@ tools.avrdude.bootloader.pattern="{cmd.path}" "-C{config.path}" {bootloader.verb # Default blank usb manufacturer will be filled it at compile time # - from numeric vendor ID, set to Unknown otherwise build.usb_manufacturer= -build.usb_flags=-DUSB_VID={build.vid} -DUSB_PID={build.pid} -DUSB_MANUFACTURER={build.usb_manufacturer} -DUSB_PRODUCT={build.usb_product} +build.usb_flags=-DUSB_VID={build.vid} -DUSB_PID={build.pid} -DUSB_MANUFACTURER={build.usb_manufacturer} '-DUSB_PRODUCT={build.usb_product}' |