diff options
author | Cristian Maglie <c.maglie@bug.st> | 2013-08-01 15:20:24 +0200 |
---|---|---|
committer | Cristian Maglie <c.maglie@bug.st> | 2013-08-01 15:20:24 +0200 |
commit | 8cfd253d1c1d980ca3de10c956690019ce778f67 (patch) | |
tree | 13b2e849b498eb3c776f3b0af9f815c5146a7ba4 | |
parent | 023434a6be86d138fe324cee3c43755d4161da40 (diff) |
Added quoting to usb_producer 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 6bf3cdb..5a12fd9 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}' |