arduino / toolchain-avr

The AVR toolchain used by the Arduino IDE
144 stars 48 forks source link

Typo in file checking was downloading mpfr multiple times. #44

Closed sleemanj closed 7 years ago

sleemanj commented 7 years ago

Little typo causing a file to be downloaded multiple times.

Directory moves were incorrect if the version would change in future.