AVR Boards platform.txt was modified and released without changing version

[per1234]

recipe.preproc.macros in Arduino AVR Boards platform.txt was modified in 802c745 but the version number was never changed before the Arduino IDE 1.6.7 release. This means the Arduino AVR Boards 1.6.9 included with Arduino IDE 1.6.6 and installed via Boards Manager is different from the one included with Arduino IDE 1.6.7. I understand that nothing can be done about this now but I'm hoping you might consider implementing a system/policy to be sure this doesn't happen again.

[cmaglie]

thanks @per1234

I've placed a check in the build script, now running the dist target with:

ant -Drevision.check=enforce dist

will produce an error for mismatching cores:

revision-check:
     [echo] AVR Arduino core version in platform.txt is: 1.6.10
     [echo]                     latest in index.json is: 1.6.9

BUILD FAILED
/home/megabug/Code/arduino/build/build.xml:271: Mismatching versions for bundled AVR core and package_index.json.
      Please check your platform.txt and package_index.json.

Total time: 2 seconds

This should enforce the correct release, if I'm not missing something else...