From fde18b17b0d7ee6d9b3e9a0959cb73d046437e19 Mon Sep 17 00:00:00 2001 From: per1234 Date: Wed, 9 Sep 2020 06:24:45 -0700 Subject: [PATCH] [skip changelog] Document ability to override properties of referenced tools Arduino CLI provides the very interesting capability to modify referenced tool recipes via overrides in the referencing platform's platform.txt. Arduino IDE does not currently provide this capability. --- docs/platform-specification.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/platform-specification.md b/docs/platform-specification.md index 9002c12b870..bfcc5bad728 100644 --- a/docs/platform-specification.md +++ b/docs/platform-specification.md @@ -940,6 +940,9 @@ Tool recipes defined in the platform.txt of other platforms can also be referenc myboard.bootloader.tool=arduino:avrdude [....] +When using Arduino CLI or Arduino Pro IDE (but not Arduino IDE), properties used in the referenced tool recipe may be +overridden in the referencing platform's platform.txt. + Note that, unlike core references, referencing a tool recipe does _not_ result in any other resources being inherited from the referenced platform.