diff options
author | Federico Fissore <f.fissore@arduino.cc> | 2015-03-30 16:18:08 +0200 |
---|---|---|
committer | Federico Fissore <f.fissore@arduino.cc> | 2015-03-30 16:18:08 +0200 |
commit | cf6b1559cfde263fe4cff93a1f26a944fda91677 (patch) | |
tree | 85ac60635674a3c59084d16bab2909fa0f4cf1be | |
parent | 43b2b1f6600092bef8a484a6161c2621c0e8c060 (diff) |
Platform.txt in-memory rewrite rules: whenever loaded, if a property is set to a value known to be wrong/old, that property is replaced with the current/right value.
This happens in-memory, no platform.txt file were harmed during rewriting
Mitigate #2838
-rw-r--r-- | platform.keys.rewrite.txt | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/platform.keys.rewrite.txt b/platform.keys.rewrite.txt new file mode 100644 index 0000000..e14de1e --- /dev/null +++ b/platform.keys.rewrite.txt @@ -0,0 +1,17 @@ +old.0.compiler.path={runtime.ide.path}/hardware/tools/avr/bin/ +new.0.compiler.path={runtime.tools.avr-gcc.path}/bin/ + +added.tools.avrdude.path={runtime.tools.avrdude.path} + +old.1.tools.avrdude.cmd.path={runtime.ide.path}/hardware/tools/avr/bin/avrdude +new.1.tools.avrdude.cmd.path={path}/bin/avrdude + +old.2.tools.avrdude.config.path={runtime.ide.path}/hardware/tools/avr/etc/avrdude.conf +new.2.tools.avrdude.config.path={path}/etc/avrdude.conf + +old.3.compiler.path={runtime.ide.path}/hardware/tools/gcc-arm-none-eabi-4.8.3-2014q1/bin/ +new.3.compiler.path={runtime.tools.arm-none-eabi-gcc.path}/bin/ + +old.4.tools.bossac.path={runtime.ide.path}/hardware/tools +new.4.tools.bossac.path={runtime.tools.bossac.path} + |