diff options
| author | Simon John <git@the-jedi.co.uk> | 2016-07-29 16:13:36 +0100 |
|---|---|---|
| committer | Simon John <git@the-jedi.co.uk> | 2016-07-29 16:13:36 +0100 |
| commit | 737a3f14cd780710dc53c080603deb4a5dd4e6da (patch) | |
| tree | a32276b666951bc093a5fea9c1b73be5a75033a6 /Arduino.mk | |
| parent | 5a83288e6ac01182fbf2a0cf219cc13370e67c66 (diff) | |
Fix for 1.6.10 version detection
Updated HISTORY.md with latest commits
Diffstat (limited to 'Arduino.mk')
| -rw-r--r-- | Arduino.mk | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -280,10 +280,10 @@ endif # Arduino version number ifndef ARDUINO_VERSION - # Remove all the decimals, and right-pad with zeros, and finally grab the first 3 bytes. - # Works for 1.0 and 1.0.1 + # Remove all the decimals, remove anything before/including ":", remove anything after/including "+" and finally grab the last 5 bytes. + # Works for 1.0 and 1.0.1 and 1.6.10 and debian-style 2:1.0.5+dfsg2-4 VERSION_FILE := $(ARDUINO_DIR)/lib/version.txt - AUTO_ARDUINO_VERSION := $(shell [ -e $(VERSION_FILE) ] && cat $(VERSION_FILE) | sed -e 's/^[0-9]://g' -e 's/[.]//g' -e 's/$$/0000/' | head -c3) + AUTO_ARDUINO_VERSION := $(shell [ -e $(VERSION_FILE) ] && cat $(VERSION_FILE) | sed -e 's/^[0-9]://g' -e 's/[.]//g' -e 's/\+.*//g' | head -c5) ifdef AUTO_ARDUINO_VERSION ARDUINO_VERSION = $(AUTO_ARDUINO_VERSION) $(call show_config_variable,ARDUINO_VERSION,[AUTODETECTED]) |
